Hola , gracias por editar, una consulta por favor, es posible que se desplazara por error este pico?
https://www.openstreetmap.org/node/11565578482/history
de no ser un error, el valor de la elevación parece que se debería actualizar a la nueva ubicación.
Según la capa ráster del IGN parece un error pero por si se ha utilizado otra fuente prefiero preguntar primero
Saludos