Cours 23/0223 février 2026Quentin FortierProfesseur d'informatiqueCours "Logique propositionnelle (rappels)".