Logique séquentielle — Marcel Gindre, Denis Roux