département de recherche minière et d exploitation minière