Exercices de Logique pour les étudiants en Mathématiques