Techniques d'exploitation d'une mine souterraine