OK. I just sent an email to Swisstopo to ask if the Swiss plan to add the name separately.
As the peak is on the French territory, I guess only IGN is the authority in this case.
I'll add their answer when I receive it.