In nineteenth-century France, what were commonly called Herschel and Leverrier?