Etude et réalisation d'un outil de conception de systèmes logiques et complexes — Didier Tais-Lailhugue