Fuite du réservoir d'eau des WC

Je suis le propriétaire. Mon locataire me demande de lui réparer sa fuite de réservoir du WC pendant ses congés. Comme je m'entends très bien avec lui, je n'ai pas hésité à le dépanner. Je voudrai simplement savoir ce que dit la réglementation à ce sujet. Il a emménagé le 15 juillet 2016.