méthode formelle Synonym