G. Brousseau, Théorie des Situations Didactiques, 1998.

V. A. Debellis and J. G. Rosenstein, Discrete mathematics in primary and secondary schools in the United States, Zentralblatt f??r Didaktik der Mathematik, vol.2, issue.3, pp.46-55, 2004.
DOI : 10.1207/S15327833MTL0203_3

S. S. Epp, Discrete mathematics for computer science, Proceedings of the 13th International Congress on Mathematical Education -TSG 17, 2016.

G. A. Goldin, Discrete mathematics and the affective dimension of mathematical learning and engagement. 13th ICME -TSG 17, 2016.
DOI : 10.1007/978-3-319-70308-4_4

D. Grenier and C. Payan, Spécificités de la preuve et de la modélisation en mathématiques discrètes, RDM, vol.18, issue.1, pp.59-100, 1998.

E. Hart and J. Sandefur, Teaching and Learning Discrete Mathematics in the School Curriculum Worldwide. An ICME-13 Monograph

A. Heinze, I. Anderson, and K. Reiss, Discrete mathematics and proof in the high school, Zentralblatt f??r Didaktik der Mathematik, vol.47, issue.3, pp.44-45, 2004.
DOI : 10.1007/BF03023977

D. E. Knuth, Computer Science and its Relation to Mathematics, The American Mathematical Monthly, vol.18, issue.4, pp.323-343, 1974.
DOI : 10.1145/321637.321638

, Statistical abstract of undergraduate programs in the mathematical sciences and computer science in the United States, MAA notes n°23, 1990.

J. Mason, L. Burton, and S. Kaye, Thinking Mathematically, 1985.

S. B. Maurer, What is discrete mathematics? The many answers, Discrete Mathematics in the Schools, pp.121-132, 1997.
DOI : 10.1090/dimacs/036/13

S. Modeste, Enseigner l'algorithme pour quoi ? Quelles nouvelles questions pour les mathématiques ? Quels apports pour l'apprentissage de la preuve ? (PhD dissertation), 2012.

S. Modeste, Impact of informatics on mathematics and its teaching. On the importance of epistemological analysis to feed didactical research, History and Philosophy of Computing, Series : IFIP Advances in Information and Communication Technology, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01615294

C. Ouvrier-buffet, Exploring Mathematical Definition Construction Processes, Educational Studies in Mathematics, vol.36, issue.(4), pp.259-282, 2006.
DOI : 10.4324/9780203428610

URL : https://hal.archives-ouvertes.fr/hal-01893657

C. Ouvrier-buffet, A mathematical experience involving defining processes: in-action definitions and zero-definitions, Educational Studies in Mathematics, vol.50, issue.3, pp.165-182, 2011.
DOI : 10.1023/A:1021245213997

URL : https://hal.archives-ouvertes.fr/hal-01893649

A. Ralston, Discrete Mathematics in the First Two Years, p.15, 1989.

J. G. Rosenstein, D. S. Franzblau, and F. Roberts, Discrete Mathematics in the Schools, DIMACS Series in Discrete Mathematics & Theoretical Computer Science, vol.36, 1997.
DOI : 10.1090/dimacs/036

A. Schuster, About traveling salesmen and telephone networks???Combinatorial optimization problems at high school, Zentralblatt f??r Didaktik der Mathematik, vol.1, issue.24, pp.77-81, 2004.
DOI : 10.1007/978-3-662-04131-4

, The Joint Task Force on Computing Curricula, 2013.

, Zentralblatt fu?r Didaktik der Mathematik, Discrete mathematics and Proof in the High School 44-84 and, pp.82-116, 2004.

G. Vergnaud, La théorie des champs conceptuels, Recherches en Didactique des Mathématiques, vol.10, issue.23, pp.133-170, 1990.

L. D. Wu, On the chaincode of a line, IEEE Trans. on Pattern Anal. Machine Intell. PAMI, vol.4, pp.347-353, 1982.