Taille, part du marché des lubrifiants miniers et analyse d’impact COVID-19, par type (lubrifiants à base d’huile minérale, lubrifiants synthétiques et lubrifiants d’origine biologique), par application (extraction de charbon, extraction de minerai de fer, extraction de bauxite, minéraux de terres rares et métaux précieux minières et autres) et prévisions régionales, 2023-2030