TD1 Logique et raisonnement