Sur la didactique de la preuve en mathématiques. Les thèses sont expérimentées dans l’environnement d’un logiciel d’apprentissage de la démonstration en géométrie euclidienne. – 1. Introduction; – 2. La preuve en mathématiques à la lumière de l’apprentissage (Explication, preuve et démonstration; Preuves pragmatiques et preuves intellectuelles; Niveaux et types de preuves); – 3. Preuves et réfutations (Les mathématiques, connaissances non formelles; Le problème de la contradicton; Traitement des contre-exemples); – 4. L’épreuve des représentations (Le cas de la géométrie); – 5. Micromonde de preuve (Une écologie artificielle pour la preuve; Micromonde, champ expérimental artificiel; Micromonde de preuve, un agent rationnel semi-empirique); – 6. Conclusion.