Antenne tombée avec la cheminée par la tempêt

Bonjour,
Nous louons une maison depuis de nombreuses années. Les locataires ont posé une antenne de télé parceque celle qui existait était vétuste et rien n'est stipulé dans l'état des lieux à ce sujet.
Celle-ci est tombée au cours de la tempête de ce dimanche entraînant la cheminée (ou inversement d'après le locataire)
L'expert doit passer pour les réparations de la toiture mais est-ce que le remplacement de l'antenne est à notre charge (donc notre assurance) ou à la charge du locataire (dans ce cas est-ce qu'il doit aussi faire la déclaration à son assurance -lui, dit non bien sur.
Ce serait très gentil de me répondre rapidement car les travaux sont urgents à faire avant les prochaines pluies.