Quel est le coût moyen d’une pompe à chaleur et de son installation ?​