A reference for studying the teaching of logic

This paper presents a work developed in my thesis on the teaching of logic in high school in France. The current official instructions specify that teachers don't have to make a mathematical logic course, but have to help their students develop a relevant use of some notions of logic as tools. Therefore, I point out in this paper that in order to take this constraint into account in the study of didactic transposition process, it is relevant to describe it from a reference knowledge for logic, but that such knowledge has never been established by the mathematics community. In order to offer such a reference, I base myself on a double epistemological and didactical study in which I favor the links between logic and language. I will also explain the choices made for this reference and its use as a methodological tool through the example of quantifiers.