gainerie (gaine + -erie; place_collective)
Artisanat, commerce des gaines, des étuis