synthèse des implications Synonym