Synthèse des systèmes logiques — Éric Daclin, Michel Blanchard