Antonio Machoni (también conocido como "Antonio Machoni de Cerdeña" o "de Cerdenna") (1671 - 1753).