Quelques éléments de logique en classe de première — Institut de recherche sur l'enseignement des mathématiques. Groupe Lycée. Besançon