As a rough rule of thumb, I think, one needs a good reason to include a natural=peak if a name can’t be found. Sure, nameless peaks a fine, but “I have survey point elevation data” isn’t a good enough reason alone IMO.
I noticed at least one example where it seems there may be duplication (2 peaks with the same elevation very close to each other, where I can only see one on the IGN map). I asked about that in the changeset comments here:
Aside from that, I’m not sure if there is a problem here. There seems to be no guidance about how prominent a peak needs to be to be recorded in OSM. Arguably if IGN thinks it is worth marking, it could be worth recording in OSM also. I am based closer to the city of Málaga where a lot of peaks are already mapped in this way, by a different mapper or mappers.
I am more concerned about this possibly being some sort of stealth
import - I spotted one example where what the user mapped was clearly
not from either of the sources specified so I asked what the real source
was here: Changeset: 150749353 | OpenStreetMap
In that example, the IGN map shows either 981m or 982m depending on how far you zoom in. I suppose there are two series with different scales, perhaps surveyed at different times. Of course that leaves the question of which series is being used and whether it is used consistently.