Title: El panteón real de San Juan de la Peña
Subtitle: historia, política y arte