complexité de la logique Synonym