Synthèse algébrique de lois de commande pour les systèmes à évènements discrets logiques