Iglesia de San Miguel, CASTIELLO DE JACA