TD12 mars 2026Quentin FortierProfesseur d'informatique TD "Déduction naturelle". Préparer exercice 4 : Complétude de la logique classique.