De Pythagore à Hilbert