1 Cours Systèmes logiques Ferchichi Maroua [email protected] Mars 2010 Institut Supérieur de Gestion Tunis.