problèmes d'implication Synonym