L'Idée de dimension, leçon inaugurale prononcée le 5 février 1943 — Beno Eckmann