Logique Combinatoire et Séquentielle