la réduction de la taille dans le traitement du minerai