Cette contribution porte sur le potentiel didactique offert par l’utilisation d’un environnement de Géométrie Dynamique en ce qui concerne l’initiation des étudiants à la pratique de la preuve dans les classes de Mathématique. La théorie de la médiation sémiotique offre le cadre théorique pour décrire et expliquer le rôle de contextes informatiques dans la promotion du sens de la preuve des étudiants. Des exemples sont présentés, illustrant différents aspects du processus de médiation sémiotique, tel qu’il peut se dérouler dans la résolution de tâches spécifiques.