Spécification et commande des systèmes à événements discrets — Saïd Agaoua