Notes submitted or commented on by DavidKT
Le sommet du Rocher de la Tête Noire (1688) devrait se trouver à cet endroit.
OpenStreetMap