mining products means metal and non-metal ores, refined ores and their transformed products, as well as refined precious metals and precious stones, but does not include scrap metal, products produced from the subsequent refining of precious metals and precious stones and, if used for construction, sand, gravel, stone and concrete products. (produits miniers)