Mithalal - Le Doze J. Initier un processus de preuve mathématique dans un environnement de géométrie dynamique 3D. RELIME [Internet]. 2014 Dec. 30 [cited 2026 Jul. 26];17(4(II):343-60. Available from: https://relime.org/index.php/relime/article/view/178