Quelques réflexions sur la démonstration — Institut de recherche sur l'enseignement des mathématiques. Groupe Premier cycle. Paris