Corrigé du TD de Logique 7 (Élimination des quantificateurs)