clarification de la logique Synonym