Unable to answer "What’s the name of this street?" for https://osm.org/way/94525672 via StreetComplete 52.0:

il se s'agit pas d'une voie à proprement parler mais d'un couloir "publique" qui traverse la mairie aux heures d'ouverture

Attached photo(s):
https://westnordost.de/p/145741.jpg