retour sur l'implication Synonym