logique analytique Synonym