Analyse et synthèse des systèmes logiques — Daniel Mange