https://123dok.net/document/q0584oly-confect-une-methode-pour-inferer-les-modeles-de-composants-d-un-systeme.html