Estanque Valdevellino, CORNON DE LA PEÑA