TD 26/0226 février 2026Quentin FortierProfesseur d'informatique TD "Concurrence". Début TD "Logique propositionnelle". Exercice 2 à faire pour jeudi prochain.