Les pompes de puisard sont-elles couvertes par l’assurance habitation ?