La Ciudadela o castillo de San Pedro, JACA