“INITIER UN PROCESSUS DE PREUVE MATHÉMATIQUE DANS UN ENVIRONNEMENT DE GÉOMÉTRIE DYNAMIQUE 3D”, RELIME, vol. 17, no. 4(II), pp. 343–360, Dec. 2014, doi: 10.12802/relime.13.17417.