Castillo de San Pedro o ciudadela, iglesia, JACA