Construction d'une nouvelle galerie dans une mine