2001 Produire et lire des textes de démonstration. La démonstration dans les EIAO de géométrie. p. 215-224. Auteur : Py Dominique
