Logique et enseignement de la mathématique — René Gauthier, Alain Gouret