Mascheroni, Lorenzo (1750-1800)