¿Y la formalización de la minería informal?