Industrie minière : L’Institut national des mines voit son financement augmenter