utilisation du minerai dans l extraction de la pierre