\sectionminitoc {section1.1}{1}{Propositions et connecteurs}
\sectionminitoc {section1.2}{2}{Implication, réciproque, contraposée, équivalence}
\sectionminitoc {section1.3}{3}{Différents types de raisonnement}
