LACHAT, Le bail a loyer,
2019, p. 315).
Ce calcul proportionnel n'étant pas toujours aisé, il est admis qu'une appréciation
en équité, par référence à l'expérience générale de la vie, au bon sens et à la
casuistique, n'est pas contraire au droit fédéral (ATF 130 III 504 consid. 4.1).
La réduction du loyer se calcule sur le loyer net, sans les frais accessoires (LACHAT,
op. cit., p. 316).
4.1.4 Le locataire qui entend se prévaloir des art. 258 ss CO doit prouver l'existence
du défaut (LACHAT, op. cit., p. 303).