Au-Delà des Preuves Formelles : Philosophie de la Pratique Mathématique
Origine : Fichiers éditeurs autorisés sur une archive ouverte