Quelques exercices d'entraînement à la manipulation des formules quantifiées, et sur les bornes et la limite d'une suite
