notamment demander une réduction proportionnelle du loyer (art. 259a al. 1 let. b
CO). Il faut pour cela que le défaut entrave ou restreigne l'usage pour lequel la
chose a été louée (art. 259d CO). Faute de définition légale, la notion de défaut -
qui relève du droit fédéral - doit être rapprochée de l'état approprié à l'usage pour
lequel la chose a été louée; elle suppose la comparaison entre l'état réel de la
chose et l'état convenu;