langages de vérification Synonym