progrès de la logique Synonym