Approche théorique de la logique combinatoire, séquentielle