Dans une galerie, «bois de Dieu» permettant de prévenir les mineurs avant un éboulement