composition logique Synonym