Minimisation des machines séquentielles incomplètement spécifiées — Gilles Michel