A fines del siglo XVII el rey Pedro III de Portugal (regnat.