Monsieur Jean Leray (1937/2013)