avancement de la logique Synonym