Taille, part et tendance mondiale du marché des pompes à chaleur géothermiques par type (boucle ouverte, boucle fermée, hybride), par utilisateur final (résidentiel, commercial, industriel) et prévisions régionales, 2025-2032