Voici une présentation qui reprend tout cela. Elle est en construction et sert de base à mon cours de logique de seconde, en accompagnement personnalisé.