Une langage de programmation plus raffinée. A more refined programming language.