Source: http://math.univ-lyon1.fr/irem/IMG/pdf/Presentation-stage-logique-niv1-2020-2021-2.pdf