Mithalal - Le Doze J. Initier un processus de preuve mathématique dans un environnement de géométrie dynamique 3D. RELIME. 2014;17(4(II):343-360. doi:10.12802/relime.13.17417