Os exércitos cristãos expulsaram as forças muçulmanas da Península Ibérica no séc. XV mas, em Pirenópolis, estado brasileiro de Goiás, os súbditos sul-americanos de Carlos Magno continuam a triunfar.
Introduzida, em 1819, por padres portugueses, a Festa do Divino Espírito Santo de Pirenópolis agrega uma complexa rede de celebrações religiosas e pagãs. Dura mais de 20 dias, passados, em grande parte, sobre a sela.
Minas de Nossa Senhora do Rosário da Meia Ponte foi erguida por bandeirantes portugueses, no auge do Ciclo do Ouro. Por saudosismo, emigrantes provavelmente catalães chamaram à serra em redor de Pireneus. Em 1890, já numa era de independência e de incontáveis helenizações das suas urbes, os brasileiros baptizaram esta cidade colonial de Pirenópolis.