Contribution à la synthèse des systèmes séquentiels, synthèse par partition du graphe des états — Bruno Taconet