John Holker, manufacturier et grand fonctionnaire en France au XVIIIe siècle, 1719-1786 — André Rémond