la mine produit du grès