La logique et l'intuition dans la science mathématique et dans l'enseignement