Frais eradiquation chenilles

Bonjour,
je suis propriétaire d'une maison avec terrain, et le locataire vient d'avoir quelques problèmes d'urtiquaire avec hospitalisation à cause de chenilles processionnaires qui ont fait des nids dans un pin d'autriche sur le terrain.
Nous avons fait passé une personne qui peut couper les branches, mais le coût est important car besoin d'une nacelle, et inévitablement se pose la question de savoir qui DOIT supporter le coût aux environs de 800 € ?
Selon moi, c'est comme un nid de guêpes et devrait être à la charge du locataire.
Si je lis les textes de loi (décret n°87-713 du 26 août 1987), ils parlent seulement d'hygiène (donc à priori de l'intérieur !) et indiquent que les produits sont à la charge locataire mais que l'intervention est à la charge proprio;
Si on regarge le LEFEVRE juridique, il indique par exemple que les rats c'est le proprio qui paie, mais que les souris c'est le locataire (mais là encore, c'est dans l'habitation et non dans un jardin).
Quelqu'un peut-il me dire si un texte ou une juris-prudence, ou les usages définissent QUI doit payer pour l'éradiquation sachant que soit on coupe les branches, soit on coupe l'arbre, car les chenilles peuvent revenir et en coupant l'arbre, on évite des frais potentiels futurs.
Merci de vos lumières.