Happy birthday Luigi Lucotti

Luigi Lucotti was born on December 18, 1893 and died on December 29, 1980.
He was 3rd in the 1914 Giro d'Italia. I wonder what size those tubular tires are that he has on his back 40c?