El Pico Fontún, VILLAMANIN