Unable to answer "Is there a public bicycle pump here (at least when it’s open)?" – JOE BIKE (Bicycle Shop) – https://osm.org/way/1040593523 via StreetComplete 58.1:

L'enszigne Jo Bike (avec pompe à velo) se trouve dans un autre batiment en face...