Degat sur fosse septique par locataires

Bonjour,
Nous avons signe un compromis de vente pour notre maison qui était en location. Les locataires ont déménagé le 16 octobre dernier.
Lors du contrôle du SPANC, le technicien a constaté qu'il y avait un affaissement de la fosse septique avec écrasement du tuyau d'écoulement : les locataires avaient posé une piscine sur la terrasse qui couvrait la fosse. Nous en avons eu pour 4000 euros de travaux. Ni les locataires ni nous savions que la fosse était sous la terrasse (Nous avons acheté ce bien il y a 10 ans). Est ce que l'assurance habitation du locataire pourrait prendre ces travaux en charge ? Merci de votre réponse.