Biography of an idea: the case of gravitational lensing