Codage des tableaux d'états des systèmes séquentiels asynchrones — Gabrièle Saucier