INITIER UN PROCESSUS DE PREUVE MATHÉMATIQUE DANS UN ENVIRONNEMENT DE GÉOMÉTRIE DYNAMIQUE 3D. RELIME 2014, 17 (4(II), 343-360. https://doi.org/10.12802/relime.13.17417.