Taille du marché du forage au diamant pour les mines souterraines, part et analyse de l’industrie, par type (forage rotatif, forage filaire), par application (roche molle, roche dure), autres et prévisions régionales, 2026-2034