Refuge anti-bruit pour les pauses des ouvriers.