méthodes d'implication Synonym