définition de l'extraction minérale