El Pico Carpentier, 1.945 m, CERCEDILLA