TP de Logique combinatoire et séquentielle (LCS)