Changement de serrure

Mon locataire ayant perdu les clefs de l'appartement a fait intervenir un dépanneur lequel a endommagé la porte d'entrée et posé une nouvelle serrure..
Or il a posé une serrure CR (d'entrée de gamme) pour porte palière simple alors que la serrure précédente était une serrure Fichet A2P de haute qualité pour porte palière double à 5 points.
Ma question : le locataire était-il tenu de remplacer la serrure par une serrure de même qualité et offrant le même niveau de sûreté ?