Éric Daclin

• Synthèse des systèmes logiques