Pumps tagging proposal

https://api.openstreetmap.org/user/InfosReseaux/diary/394851