H. C. Argaud, Problèmes et milieux a-didactiques pour un processus d'apprentissage en géométrie place à l'école élémentaire dans les environnements papier-crayon et Cabri-géomètre, 1998.

G. Arsac, Variations et variables de la démonstration géométrique, Recherche en Didactique des Mathématiques, vol.19, issue.3, pp.357-399, 1999.

M. Artigue, Une approche didactique de l'intégration de l'EIAO à l'enseignement, Environnements Interactifs d'Apprentissage avec l'Ordinateur, pp.17-28, 1995.

T. Assude, Time Management in the Work Economy of A Class, A Case Study: Integration of Cabri in Primary School Mathematics Teaching, Educational Studies in Mathematics, vol.16, issue.1, pp.183-203, 2005.
DOI : 10.1007/s10649-005-5888-0

T. Assude, Dialectique ancien-nouveau dans l'intégration de Cabri-Géomètre à l'école primaire, Educational Studies in Mathematics, vol.50, issue.3, pp.259-287, 2002.
DOI : 10.1023/A:1021293215485

N. Balacheff, Proving processes and situations for validation, Educational Studies in Mathematics, vol.1, issue.2, pp.147-176, 1987.
DOI : 10.1007/BF00314724

N. Bellard and M. Lewillion, Schémas pour la compréhension des théorèmes en classe de Quatrième, 2001.

D. Bessot, Problème de représentation dans l'espace, Bulletin Inter-Irem, vol.23, pp.33-40, 1983.

P. Boero, Argumentation and mathematical proof: A complex, productive, unavoidable relationship in mathematics and mathematics education, International Newspaper on the Teaching and Learning of Mathematical Proof, 1999.

J. S. Bruner, Le développement de l'enfant Savoir faire Savoir dire, 1983.

S. Coutat, Connaître et reconnaître les théorèmes, Mémoire de DEA de l, 2003.

R. Duval, Introduction à la démonstration et apprentissage du raisonnement déductif, Repère IREM, vol.12, pp.114-140, 1993.

R. Duval, Les différents fonctionnements d'une figure dans une démarche géométrique, Repères IREM, vol.17, pp.121-138, 1994.

R. Duval, Sémiosis et pensée humaine: registre sémiotique et apprentissages intellectuels, 1995.

R. Duval, Les conditions cognitives de l'apprentissage de la géométrie : développement de la visualisation, différenciation des raisonnements et coordination de leurs fonctionnements, pp.5-53, 2005.

R. Falcade, Théorie des Situations, médiation sémiotique et discussions collectives dans des séquences d'enseignement qui utilisent Cabri-géomètre et qui visent à l'apprentissage des notions de fonction et graphe de fonction, 2006.

G. Harel, Student's understanding proofs: a historical analysis and implications for the teaching of the geometry and the linear algebra, Linear Algebra and its applications, pp.302-303, 1999.

G. Harel, Toward a comprehensive perspective on proof, Second Handbook of research on Mathematics Teaching and learning, 2005.

L. Healy, Identifying and explaining geometrical relationship: Interactions with robust and soft Cabri constructions, PME XXIV, Proceedings of the 24th Conference of the International Group for the Psychology of Mathematics Education, pp.103-117, 2000.

C. Houdement and A. Kuzniak, Formation des maîtres et paradigmes géométriques, Recherche en Didactique des Mathématiques, vol.20, issue.1, pp.89-116, 2000.

C. Houdement and A. Kuzniak, Paradigmes géométriques et enseignement de la géométrie, Annales de didactiques des sciences cognitives, pp.175-193, 2006.

C. Laborde and B. Capponi, Cabri-Géomètre constituant d'un milieu pour l'apprentissage de la notion de figure géométrique, Recherche en Didactique des Mathématiques, vol.14, issue.12, pp.165-210, 1994.

M. A. Mariotti, Influence of technologies advances on students' mathematical learning, Handbook of International Research in Mathematics Education, pp.695-723, 2002.

M. A. Mariotti, Introduction to proof in a mediation of a dynamic software environment, Educational Studies in Mathematics, vol.44, issue.1/2, pp.25-53, 2001.
DOI : 10.1023/A:1012733122556

B. Parzysz, ?Knowing? vs ?seeing?. problems of the plane representation of space geometry figures, Educational Studies in Mathematics, vol.19, issue.1, pp.79-92, 1988.
DOI : 10.1007/BF00428386

B. Pedemonte, Etude didactique et cognitive des rapports entre argumentation et démonstration dans l'apprentissage des mathématiques, 2002.

P. Rabardel, Les hommes et les technologies, une approche cognitive des instruments contemporains, 1995.

P. Rabardel, Eléments pour une approche instrumentale en didactique des mathématiques, pp.202-213, 1999.

R. P. Richard, Modélisation du comportement en situation de validation, Thèse de l'université autonome de Barcelone, 2000.

R. P. Richard, Raisonnement et stratégies de preuve dans l'enseignement des mathématiques, 2004.

R. P. Richard, L'inf??rence figurale: Un pas de raisonnement discursivo-graphique, Educational Studies in Mathematics, vol.57, issue.2, pp.229-263, 2004.
DOI : 10.1023/B:EDUC.0000049272.75852.c4

C. Rolet, Dessin et figure en géométrie : analyse des conceptions de futurs enseignants dans le contexte CABRI-GEOMETRE, 1997.

A. Robert, Un point de vue sur les spécificités du travail géométrique des élèves à partir de la quatrième : l'organisation des connaissances en niveaux de conceptualisation, pp.7-29, 2003.

S. Soury-lavergne, Etayage et explication dans le préceptorat à distance, 1998.

L. Trouche, Construction et conduite des instruments dans les apprentissages mathématiques : Nécessité d'orchestrations, Recherche en Didactique des Mathématiques, vol.25, pp.91-138, 2005.

G. Vergnaud, La théorie des champs conceptuels, Recherche en didactique des mathématiques, pp.133-170, 1990.

L. S. Vygotsky, Pensée et langage, Traduction française : F. Sève, 1934.

L. S. Vygotsky, La méthode instrumentale en psychologie, 1930.

H. Wallon, De l'acte à la pensée, Paris : Flammarion Programmes primaire et collège : Bulletin Officiel HS n°1, 1942.

D. Propriete, Retz 5 ème : Collection triangle mathématiques 5 ème, CE1 : Les maths à la découverte du monde CE1 Hachette CE1 : Pour comprendre les mathématiques CE1 Hachette CM1 : J'apprends les maths CM1 Hatier 5 ème : Dimathème 5 ième Didier Evaluations nationales Titre : INTEGRATION, 2001.

. Résumé, Cette recherche s entre les contraintes (données) et une conclusion Les choix dans la structure de cet enseignement reposent sur un travail de distinction entre les données et la conclusion dans un énoncé Cette distinction est nécessaire pour le réinvestissement des propriétés dans le raisonnement déductif. A partir des travaux de Vygotsky sur la médiation sémiotique et les travaux de Rabardel et Trouche sur l'instrumentation, nous avons conçu des situations didactiques intégrant un logiciel de géométrie dynamique, pour introduire la notion de propriété. L'outil déplacement du logiciel est utilisé pour réaliser les données d'une propriété. Les objets géométriques sur lesquels travaillent les élèves sont des constructions « molles », issues du déplacement, dans lesquelles les nouvelles caractéristiques des figures sont éphémères. Le processus de médiation sémiotique est amorcé au cours de la construction, par l'élève, de l'instrument Déplacement, il se poursuit au cours des échanges collectifs avec l'enseignant. La construction du lien entre les données et la conclusion s'appuie sur l'utilisation du dynamisme de l'environnement et sur l'interaction entre les registres visuels et discursifs, Nous avons étudié comment les élèves s'approprient la relation entre les données et la conclusion à travers l'étude de : la construction de l'instrument déplacement que nous visons lors des activités avec Cabri l'articulation entre les registres graphiques et discursifs en lien avec le processus de médiation sémiotique Mots clé : géométrie dynamique, décomposition dimensionnelle, registres, propriété, contraintesconclusion , didactique mathématiques, instrumentation