La altiva iglesia de San Miguel, CASTIELLO DE JACA