bibi6
@Denis_Helfer l'a mappé il y a neuf mois (https://www.openstreetmap.org/changeset/118132452, https://www.openstreetmap.org/way/1037370058): merci à lui, et à l'auteur de la note ;)
Je clos la note.