d'un outil pour le langage et le raisonnement mathématique vers un ...