Merci pour les précisions, j'ai changé le nom (https://www.openstreetmap.org/changeset/181014289). D'apprès l'historique de ces différents chemins, il semblerait que le nom ait été vérifié sur place en 2023 (https://www.openstreetmap.org/changeset/134427540). Il n'est pas impossible que le passage ait changé de nom entre temps, et que personne ne l'avait encore mis à jour. Merci pour votre contribution à OSM !

J'ai juste un tout petit doute. Vous avez fait référence plusieurs fois au fait que le chemin piéton était pentu. Est-ce que ce chemin est bien un escalier (https://www.openstreetmap.org/way/70463177) ? Ou est-il tout simplement une pente ? Merci d'avance !