Logique séquentielle 1 — Jean Renouard