C’est ajouté, merci.
https://www.openstreetmap.org/node/6318615611

Infos utiles pour améliorer vos futures notes (et nous faire gagner du temps) :
1) Il y avait déjà un magasin ici → Toujours important de préciser si ce que vous voulez ajouter remplace ce qui existe ou s'ajoute.
2) Quelques infos pratiques (heures d’ouverture, n° tel, email…) ou un lien web si possible. Ici, on a trouvé facilement, mais en général ça aide. ;-)