TD Logique Combinatoire et séquentielle