Dans cette recherche, nous avons essayé d'analyser un cours de formation sur l'intégration des TIC et d'évaluer l'impact d'une telle formation sur les futurs enseignants. Nous avons identifié le rôle des différents types de connaissances qui doivent être pris en compte dans la conception d'une formation sur l'intégration des nouvelles technologies dans l'enseignement des mathématiques. L'impact de la formation des enseignants concernée par l'étude est lié aux problèmes de preuve en géométrie et à la conception de situations permettant aux étudiants de surmonter les difficultés de preuve grâce à l'utilisation appropriée des outils de l'environnement de géométrie dynamique Cabri-Geometry.