Le travail présenté dans ce texte porte sur le changement de langage en mathématiques. Dans l’enseignement supérieur, la plupart des théorèmes et des définitions sont donnés dans la langue naturelle. Ils sont facilement compréhensibles, mais pas opératoires. Pour les utiliser dans les démonstrations, les étudiants doivent pouvoir les écrire dans le langage formel. Les auteurs présentent brièvement des résultats de deux enquêtes auprès des étudiants de première et de deuxième année de licence de mathématiques, qui montrent que cette activité est source de difficulté pour cette population. Un travail exploratoire les conduit à faire l’hypothèse que la pratique des langues locales peut avoir des interférences dans le langage mathématique.