L'obligation du juge de se prononcer sur la contre-créance invoquée en compensation ne saurait prolonger la procédure en contestation du congé de façon à contrecarrer la volonté du législateur de permettre au bailleur de mettre fin au bail et d'obtenir l'évacuation du locataire dans les plus brefs délais; cette volonté découle des règles de droit matériel évoquées ci-dessus, sans qu'il soit nécessaire de trancher la question de savoir si la contestation de l'efficacité du congé relève de la procédure ordinaire ou simplifiée (cf. ATF 139 III 457 consid. 5.3 in fine, qui laisse la question indécise).