2015 Le Miroir des maths. N° 14. p. 21-25. Construire des outils de formalisation de la démonstration au collège. Auteurs : Coulombel Loïc ; Duval Jacques
