Georges de Rham (1903-1990), professeur – Cote 5113