diputación de minería.