formalisation de normes Synonym