produits de l industrie minière et leurs succédanés