The 27 lines on a cubic surface