John Douglas — eminent lithotomist