Hola, bienvenido a OSM, me puedes confirmar que esto
https://www.openstreetmap.org/node/3247707486/history
es un pico? Está bien localizado?
la elevación no parece concordar con las curvas de nivel del IGN y por ello la duda
Saludos