laverie (laver + -erie; place_collective)
Endroit où on lave le minerai