langages de logique Synonym