https://123dok.net/document/z3dm8mm9-modélisation-politiques-sécurité-aide-méthode-spécifications-formelles.html