Logique Combinatoire et Séquentielle LCS