Synthèse d’une commande supervisée à base de contraintes booléennes