INF124 Exercice 1 : Preuves en déduction naturelle et en français

exo7 exercices corrigés pdf