What is the origin of the name "Rolle's curve"? | lit.salon