laboratoire de l'exploitation minière