définition d un lavage de charbon définition exploitation minière d agrégats