Title: Contribution à la conception assistée par calculateur des systèmes logiques