Robert TATON (né en 1903)
Professeur de topographie à l'Ecole des mines de Paris à partir de 1945.