polissoir (polir + -oir; place_collective)
Instrument dont on se sert pour polir certaines choses