https://123dok.net/document/q7wok89v-développement-méthode-structurelle-commande-supervision-systèmes-événements-modélisés.html