TP 4 : Déduction naturelle, algorithme de QuineTP 4 : Déduction naturelle, algorithme de Quine TP 4 - Sujet