TD de Logique et raisonnement (ESIPE 1)