Logique séquentielle — Jean Lagasse, Marc Courvoisier, Pierre-Jean Richard