Ecriture automatique de démonstrations en géométrie — Institut de recherche sur l'enseignement des mathématiques. Rouen