Reparations à la charge du locataire

Bonjour,
Je suis proprietaire d'une villa ,mon locataire m'a demande de faire intervenir une societe de reparation de portail electrique en raison d'un dysfonctionnement à l'ouverture .
L'entreprise qui est intervenue a constaté que le deverrouillage manuel etait grippé, avec necessite de refixer la plaque moteur des 2 battants +nettoyage des telecommandes
Ce type de reparations ne rentrent t elles pas dans l'entretien et ne sont elles pas à la charge du locataire ?
Merci de votre reponse