méthodes de formalisation Synonym