les noms de produits et de machines mining