"Sommet des Diableretes" seems not on the correct place. This place is a little bit more in the east to be in the 3200m area.

Now it's placed in the 3190m area and the know top is 3216m :
https://fr.wikipedia.org/wiki/Sommet_des_Diablerets