Ibón de Tramacacastilla, TRAMACASTILLA DE TENA