Étude méthodologique de la conception assistée par ordinateur des systèmes logiques | lit.salon