But this point was already on the map!!
Go to https://www.geoportail.gouv.fr/carte with layer carte topographique IGN and search for Crêt de la Neige, 01410 Lélex. The top of Jura is the point 1720 to the ENE of Crêt de la Neige 1718. And this point has been known with the correct altitude since 1828. The "discovery" of september 2024 is a fake.