Ibón de Piedrafita, PIEDRAFITA DE JACA