Джерард Дебрю — Други езици