1) la carte IGN n'est pas une source autorisée pour améliorer osm (la lience de l'ign ne le permet pas)
2) le sommet est déjà présent et nomé dans osm https://www.openstreetmap.org/node/4397194697 du coup la note n'arpporte aucune info succeptible d'être ajoutée dans osm (ou alors j'ai mal compris)