L'élève acteur de sa propre correction — Institut de recherche sur l'enseignement des mathématiques. Rennes