Es uno de los muchos lugares a los que se llama «Palacio de los Papas».