Un savant au XVIIIe siècle — Pierre Mahler