facts:
Faits :
A.
Selon contrat de bail du 1 er mai 2012 conclu avec X._, F.Z._ et H.Z._ sont locataires d'un appartement de cinq pièces destiné à l'usage d'habitation familiale principale, sis au 2ème étage d'un immeuble, à Carouge. Le loyer annuel, charges non comprises, s'élève à 19'140 fr. Le couple occupe l'appartement avec leurs filles jumelles, âgées de trois ans à l'époque des faits ici en cause.
En avril 2014, les locataires ont découvert des punaises de lit dans l'appartement et en ont informé la régie, qui leur a alors transmis un bon de travail pour une détection canine de la présence de ces nuisibles, ainsi que pour une désinfestation du logement, en leur rappelant que celle-ci était obligatoire. La régie a annexé à son courrier un document intitulé «Procédure avant traitement des punaises de lit», dont il résulte notamment que les locataires doivent quitter le logement lors des deux traitements prévus et y revenir uniquement après six heures; par ailleurs, les enfants, les femmes enceintes, les personnes atteintes d'une maladie cardiaque, rénale ou respiratoire, ou souffrant d'allergies, ainsi que les animaux domestiques, ne devraient pas réintégrer les lieux avant vingt-quatre heures.
Le 1 er mai 2014, l'entreprise U._ Sàrl est intervenue dans l'appartement pour une détection canine, laquelle a révélé la présence de punaises de lit dans deux des trois chambres. L'entreprise V._ SA a procédé à une première désinfestation les 12 et 22 mai 2014.
Un rapport de détection canine du 3 juin 2014 signale encore la présence de punaises de lit dans les trois chambres, le hall d'entrée et le salon, de sorte qu'un nouveau traitement a dû être entrepris les 16 et 26 juin 2014.
L'appartement a été traité pour la troisième et dernière fois les 10 et 17 juillet 2014, à la suite d'un rapport du 8 juillet 2014 détectant les parasites uniquement dans la salle de bain avec WC et le WC séparé.
La détection canine effectuée le 24 juillet 2014 n'a plus révélé la présence de punaises de lit.
Le 29 juillet 2014, une entreprise est intervenue dans l'appartement afin de déposer les plaques de recouvrement sur les WC et refaire l'étanchéité sur le pourtour des réservoirs de chasse d'eau avec du mastic silicone, dans la salle de bain et le WC séparé.
Un litige s'est élevé entre les parties à propos de la prise en charge des frais. Selon un courrier du 10 octobre 2014, la bailleresse acceptait de payer la détection canine, mais estimait que le traitement des pièces infestées et la congélation des effets personnels étaient à la charge des locataires; elle leur réclamait le remboursement de 1'857 fr.60 (frais des traitements de désinfestation) sur le total de 2'580 fr. que l'entreprise V._ SA lui avait facturé le 6 septembre 2014. Pour leur part, les locataires considéraient que la bailleresse devait prendre à sa charge l'ensemble des frais engendrés par la désinfestation, y compris le montant qu'ils avaient versé à V._ SA au titre de la congélation de trois matelas et dix chariots contenant des affaires personnelles (1'800 fr.), ainsi que le loyer afférent à la période durant laquelle ils avaient dû quitter le logement devenu inutilisable, dès lors qu'ils n'avaient aucune responsabilité dans la présence de punaises de lit.
B.
H.Z._ et F.Z._ ont saisi la Commission de conciliation en matière de baux et loyers, avant de porter l'affaire devant le Tribunal des baux et loyers du canton de Genève le 21 octobre 2015. Ils concluaient au paiement par X._ de la somme de 8'683 fr.20 avec intérêts, correspondant à la restitution du loyer payé du 29 avril au 29 juillet 2014 (4'588 fr.), aux frais de congélation de leurs effets personnels (1'800 fr.), à des frais divers (664 fr.35) et aux honoraires de leur avocat au jour du dépôt de la demande (1'630 fr.85). Les locataires alléguaient avoir dû quitter le logement le 11 mai 2014 et n'avoir pu le réintégrer que le 27 juillet 2014, date à laquelle il était à nouveau habitable. La bailleresse a conclu au déboutement des demandeurs de toutes leurs conclusions.
Des audiences d'instruction ont eu lieu les 25 février, 19 mai et 22 septembre 2016. A l'audience de plaidoiries finales du 10 novembre 2016, les locataires ont pris une conclusion supplémentaire tendant à la constatation que la somme réclamée par la bailleresse à titre de participation à la facture du 6 septembre 2014 de l'entreprise de désinfection n'était pas due. La bailleresse a persisté dans ses conclusions écrites, sans conclure à l'irrecevabilité de la nouvelle conclusion des locataires.
Dans son jugement du 1 er décembre 2016, le Tribunal des baux et loyers a accueilli en partie les conclusions des demandeurs. Il a considéré que les locataires avaient droit à la restitution de la totalité du loyer payé alors que l'appartement était inhabitable pour eux, soit du 11 mai 2014 - veille de la première intervention - au 26 juillet 2014 - veille de la date à laquelle ils avaient déclaré avoir pu réintégrer leur logement (4'043 fr.20). En effet, dans les circonstances particulières du cas d'espèce - enfants en bas âge, enlèvement des matelas et d'une grande partie des affaires personnelles -, il ne pouvait être exigé que la famille réintègre l'appartement avant la fin des trois traitements successifs. Par ailleurs, le tribunal a considéré que, même si la congélation des effets personnels n'était pas en lien direct avec la remise en état de la chose louée, cette mesure devait, dans le contexte particulier de l'invasion de punaises de lit, être comprise sous cette rubrique. En effet, il était inutile de faire désinfecter l'appartement de locataires si leurs effets personnels restaient infestés de punaises, puisque les nuisibles ne tarderaient pas à réinvestir les locaux traités. Ainsi, la congélation des affaires personnelles des locataires devait être considérée comme un volet indispensable de l'éradication du défaut de la chose louée. La bailleresse devait ainsi 1'800 fr. aux locataires à ce titre. Enfin, après avoir admis la recevabilité de la nouvelle conclusion prise lors de l'audience de plaidoiries finales, le tribunal a constaté que les locataires n'étaient pas débiteurs de la facture de V._ SA du 6 septembre 2014, aucune faute ne pouvant être retenue à leur charge dans la survenance du défaut en cause. Il a débouté les parties de toutes autres conclusions.
Par arrêt du 12 juin 2017, la Chambre des baux et loyers de la Cour de justice du canton de Genève a rejeté l'appel de la bailleresse. Ses considérants peuvent se résumer comme suit. Dans la mesure où elle n'avait pas conclu devant le tribunal à l'irrecevabilité de la conclusion nouvelle des locataires, l'appelante n'était pas admise à le faire en appel. Par ailleurs, la Cour de justice a fait sienne l'argumentation des premiers juges s'agissant de la réduction du loyer à laquelle les locataires pouvaient prétendre. En ce qui concerne les frais de congélation des effets personnels, elle a considéré, à l'instar du Tribunal des baux et loyers, que la bailleresse devait les rembourser aux locataires, car ils étaient liés à la remise en état de la chose louée.
C.
X._ forme un recours en matière civile, subsidiairement un recours constitutionnel, aux fins d'obtenir l'annulation de l'arrêt cantonal. Elle conclut à l'irrecevabilité de la conclusion que les locataires avaient prise lors de l'audience de plaidoiries finales devant le Tribunal des baux et loyers; au fond, elle conclut principalement, d'une part, à une réduction de loyer limitée à 10% du 11 mai au 2 juin 2014, à 20% du 3 au 26 juin 2014 et à 2,5 % du 27 juin au 17 juillet 2014, acte lui étant donné de son engagement à verser en mains des locataires la somme de 401 fr. que cette réduction représente et, d'autre part, au déboutement des locataires de toutes autres ou contraires conclusions.
H.Z._ et F.Z._ proposent le rejet du recours.
La Chambre des baux et loyers se réfère aux considérants de son arrêt.

considerations:
Considérant en droit :
1.
Le Tribunal fédéral examine d'office et librement la recevabilité des recours dont il est saisi (<ref-ruling> consid. 1 p. 143; <ref-ruling> consid. 2.1 p. 397; <ref-ruling> consid. 1.1).
1.1. La recourante, qui a succombé dans ses conclusions devant l'instance précédente (<ref-law>), a interjeté recours en temps utile (art. 100 al. 1 et art. 46 al. 1 let. b LTF) contre un arrêt final (<ref-law>) rendu en matière civile (<ref-law>) par un tribunal supérieur statuant sur recours en dernière instance cantonale (<ref-law>).
1.2. La valeur litigieuse n'atteint pas le seuil de 15'000 fr. requis en matière de droit du bail à loyer (<ref-law> en lien avec l'<ref-law>). Pour la recourante, le recours en matière civile est néanmoins recevable, car la contestation soulève une question juridique de principe au sens de l'<ref-law>.
1.2.1. La jurisprudence applique restrictivement l'<ref-law>, qui permet de déroger à l'exigence d'une valeur litigieuse minimale dans les affaires pécuniaires. Il ne suffit pas qu'une question juridique n'ait jamais été tranchée par le Tribunal fédéral. Encore faut-il qu'il soit nécessaire, pour résoudre le cas d'espèce, de trancher une question juridique donnant lieu à une incertitude caractérisée, laquelle appelle de manière pressante un éclaircissement de la part du Tribunal fédéral en tant qu'autorité judiciaire suprême chargée de dégager une interprétation uniforme du droit fédéral (<ref-ruling> consid. 1 p. 165; <ref-ruling> consid. 1.4.1 p. 118 s.; <ref-ruling> consid. 1.2 p. 161 et les arrêts cités). La question soumise doit être de portée générale; la décision à rendre par le Tribunal fédéral doit être propre à orienter la pratique, en permettant aux instances inférieures de trancher de nombreux cas similaires (<ref-ruling> consid. 1.3 p. 503; <ref-ruling> consid. 1.3). Cette condition n'est pas remplie lorsque le litige en cause présente des particularités dont les autres affaires sont généralement dépourvues (<ref-ruling> consid. 4 p. 343; arrêt 4A_684/2015 du 19 avril 2016 consid. 1.3). Il y a également lieu d'examiner s'il est probable ou non que la question litigieuse puisse un jour être présentée avec une valeur litigieuse suffisante pour ouvrir le recours en matière civile (<ref-ruling> consid. 1.2, 267 consid. 1.2.3; cf. également <ref-ruling> consid. 1 p. 166). Si le point soulevé ne concerne que l'application de principes jurisprudentiels à un cas particulier, il ne saurait être qualifié de question juridique de principe (ATF <ref-ruling> consid. 1.4.1 p. 119; <ref-ruling> consid. 1.3 p. 4).
La partie recourante doit exposer de manière circonstanciée, sous peine d'irrecevabilité (art. 42 al. 2 2 ème phrase LTF), en quoi la décision attaquée soulève une question juridique de principe, à moins que celle-ci ne s'impose de façon évidente (<ref-ruling> consid. 1.2 p. 361 et les arrêts cités).
1.2.2. A lire la recourante, la question en jeu est tout d'abord de savoir si la présence de punaises de lit dans un logement constitue un défaut grave ou de moyenne importance de l'objet loué; ni la jurisprudence, ni la doctrine n'auraient encore apporté de réponse claire à ce sujet.
Contrairement à l'avis de la recourante, il ne s'agit pas là d'une question juridique de principe. En effet, le Tribunal fédéral ne saurait trancher in abstracto si la présence de punaises de lit dans un logement constitue un défaut grave ou de moyenne importance de la chose louée. Il n'est pas exclu que la réponse soit différenciée suivant les circonstances, notamment si la présence des insectes est circonscrite à une partie du logement qui n'est pas ou peu utilisée et s'il en est venu à bout rapidement.
Selon la recourante, il s'impose en outre de trancher la question de savoir laquelle des dispositions légales - de l'<ref-law> ou de l'<ref-law> - régit l'éventuelle responsabilité du bailleur pour les frais de traitement des effets personnels du locataire dans le contexte particulier d'une infestation de punaises de lit.
Il ressort effectivement de l'arrêt attaqué que la congélation des effets personnels des locataires serait, dans les circonstances particulières de la contamination en cause, une mesure destinée à éliminer le défaut de la chose louée, plus précisément la source de ce défaut, de sorte que sa prise en charge par la bailleresse obéirait aux conditions de l'<ref-law> (remise en état; cf. <ref-law>), et non de l'<ref-law> (dommages-intérêts; cf. art. 259a al. 1 let. c CO). Cette question n'a, il est vrai, jamais été tranchée par le Tribunal fédéral. Elle revêt par ailleurs une portée générale, dans la mesure où la réponse à apporter est propre à résoudre un nombre indéterminé de cas. En outre, il est douteux, eu égard au montant des frais en jeu, qu'elle puisse un jour être présentée avec une valeur litigieuse suffisante pour ouvrir le recours en matière civile.
Il faut dès lors admettre que la condition posée par l'<ref-law> est réalisée en l'espèce. Le recours en matière civile est ouvert sans égard à la valeur litigieuse.
1.2.3. Il s'ensuit que le recours constitutionnel subsidiaire est irrecevable (<ref-law>).
2.
2.1. Le Tribunal fédéral doit conduire son raisonnement juridique sur la base des faits constatés dans la décision attaquée (<ref-law>); il peut toutefois compléter ou rectifier même d'office les constatations de fait qui se révèlent manifestement inexactes, c'est-à-dire arbitraires aux termes de l'art. 9 Cst. (<ref-law>; <ref-ruling> consid. 1.3.1 p. 253; <ref-ruling> consid. 2.3 p. 266; <ref-ruling> consid. 4.1.2 p. 62). La partie recourante est autorisée à attaquer des constatations de fait ainsi irrégulières si la correction du vice est susceptible d'influer sur le sort de la cause (<ref-law>). Il lui incombe alors d'indiquer de façon précise en quoi les constatations critiquées sont contraires au droit ou entachées d'une erreur indiscutable; les critiques dites appellatoires, tendant simplement à une nouvelle appréciation des preuves, sont irrecevables (<ref-ruling> consid. 1.4.3 p. 254; voir aussi <ref-ruling> consid. 1.3.1 p. 253; <ref-ruling> consid. 2.3 p. 266; <ref-ruling> consid. 4.1.2 p. 62).
Le Tribunal fédéral se montre réservé dans son contrôle de l'appréciation des preuves, vu le large pouvoir qu'il reconnaît en ce domaine aux autorités cantonales (<ref-ruling> consid. 4b p. 40; <ref-ruling> consid. 9 p. 399 et les références). Il n'intervient du chef de l'art. 9 Cst., que si le juge du fait n'a manifestement pas compris le sens et la portée d'un moyen de preuve, a omis sans raisons objectives de tenir compte des preuves pertinentes ou a effectué, sur la base des éléments recueillis, des déductions insoutenables (ATF <ref-ruling> consid. 2.3 p. 265; <ref-ruling> consid. 4.2 p. 234).
2.2. Le Tribunal fédéral applique en principe d'office le droit (<ref-law>) à l'état de fait constaté dans l'arrêt cantonal (ou à celui qu'il aura rectifié). Cela ne signifie pas qu'il examine, comme le ferait un juge de première instance, toutes les questions juridiques qui pourraient se poser. Compte tenu de l'obligation de motiver imposée par l'<ref-law>, il ne traite que les questions qui sont soulevées devant lui par les parties, à moins que la violation du droit ne soit manifeste (<ref-ruling> consid. 2 p. 116; <ref-ruling> consid. 2; <ref-ruling> consid. 2.2). Par ailleurs, une exigence de motivation accrue prévaut pour la violation des droits constitutionnels tels que la protection contre l'arbitraire (art. 9 Cst.). Selon le principe d'allégation, le recourant doit indiquer quel droit ou principe constitutionnel a été violé, en expliquant de façon circonstanciée en quoi consiste la violation (<ref-law>; <ref-ruling> consid. 2.2; <ref-ruling> consid. 3.2). Il n'est en revanche pas lié par l'argumentation juridique développée par les parties ou par l'autorité précédente; il peut admettre le recours, comme il peut le rejeter en procédant à une substitution de motifs (<ref-ruling> consid. 1.4).
Lorsqu'il entre en matière en raison de l'existence d'une question juridique de principe, le Tribunal fédéral examine l'affaire en application des art. 95 ss et 105 ss LTF dans son ensemble, sans se limiter aux seules questions juridiques de principe qu'elle pose (<ref-ruling> consid. 1.2.2.4 p. 22 s. et les références citées; arrêts 2C_1044/2016 du 6 août 2018 consid. 4; 2C_289/2015 du 5 avril 2016 consid. 1.2.1 non publié in <ref-ruling>, reproduit in RF 71/2016 p. 710).
3.
La recourante dénonce tout d'abord un établissement arbitraire des faits.
3.1. La cour cantonale a retenu que «les produits utilisés pour la désinfestation, qui peuvent être irritants pour les yeux, doivent rester en place sans être nettoyés pendant trente jours». La recourante ne conteste pas ce fait, puisqu'elle rappelle elle-même les déclarations du témoin A._, directeur de V._ SA, à ce sujet. Mais elle reproche aux juges précédents d'avoir ignoré d'autres déclarations du même témoin, lesquelles ont la teneur suivante:
" En principe, les habitants d'un appartement doivent quitter celui-ci pendant 4 à 6 heures à chaque traitement, mais peuvent le réintégrer après cette période. Toutefois, en présence de personnes âgées ou de jeunes enfants susceptibles d'être allergiques, nous recommandons de quitter l'appartement pendant 24 heures après chaque traitement. "
" Nous portons des masques pour nous protéger. Pendant plusieurs jours, si des petits enfants touchent les parties traitées et portent les mains à leurs yeux, cela peut causer des irritations. "
Il est vrai que ces déclarations ne sont pas reprises intégralement dans l'arrêt attaqué. Cette circonstance demeure toutefois sans incidence sur l'issue du litige. En effet, la recourante en déduit que la preuve de l'innocuité des insecticides utilisés, pour des jeunes enfants qui les ingéreraient par accident, a été apportée, de sorte que la famille aurait dû réintégrer l'appartement quatre à six heures après l'application des produits, nonobstant le jeune âge des jumelles. Or, sur le plan de l'appréciation des preuves, il n'y a rien à redire à la distance que la cour cantonale a observée par rapport aux affirmations en cause, lesquelles ne sont étayées par aucune documentation, ne précisent ni la composition des produits utilisés ni leur toxicité - spécialement en cas d'ingestion - et n'émanent pas d'un professionnel de la santé. Du reste, si ces produits - qui doivent demeurer sur les surfaces traitées durant trente jours sans être nettoyés - ne sont pas toxiques pour des enfants à un âge où ils mettent encore bien souvent leurs mains à leur bouche, on saisit mal pour quelle raison les employés de l'entreprise en cause devaient s'en protéger par des masques lors de leur application.
3.2. La recourante reproche également à la cour cantonale d'avoir retenu que «l'infestation a eu lieu par les gaines techniques de la salle de bain et des WC» et que «les punaises de lit qui infestaient l'appartement des locataires depuis mai 2014 sortaient de la plaque de commande de la chasse d'eau des WC et donc de la gaine technique». Rappelant le témoignage du directeur de V._ SA déjà cité, la recourante soutient que le problème d'infestation de l'appartement provient en réalité des armoires encastrées qu'il avait fallu démonter; ce n'est que lors d'un contrôle effectué en juillet 2014 qu'il y aurait eu une ré-infestation par les gaines techniques des toilettes. En mai et juin 2014, les rapports de détection canine n'auraient d'ailleurs pas signalé d'insectes dans les salles d'eau. La théorie selon laquelle les punaises de lit se seraient propagées par les gaines techniques depuis l'immeuble adjacent - où se trouvait un appartement également infesté de ces nuisibles - ne serait qu'une simple supposition qui aurait dû être écartée, sachant que les deux immeubles disposaient chacun d'un mur porteur en béton et que les deux murs étaient séparés par un joint de dilatation.
Lors de son audition du 19 mai 2016, le témoin précité a déclaré que « si plusieurs interventions ont été nécessaires dans le cas particulier c'est parce qu'il y a eu un problème d'infestation dans les armoires encastrées et qu'il a fallu démonter celles-ci» et qu'« il y a eu une ré-infestation par les gaines techniques des toilettes». Contrairement à ce que la recourante prétend, le directeur de l'entreprise de désinfection ne s'est pas prononcé sur l'origine de l'infestation. Cela étant, la cour cantonale pouvait sans arbitraire constater que les punaises de lit se sont propagées dans l'appartement par les gaines techniques des toilettes. En effet, le même témoin a localisé à cet endroit l'origine de la ré-infestation, ajoutant qu'il n'avait jamais vu cela auparavant et que ceci l'avait amené à penser qu'il serait opportun de faire une détection dans l'immeuble voisin, détection qui a abouti, fin août 2014, à la localisation d'un appartement gravement infesté au même étage de l'immeuble adjacent (complètement d'office sur la base du jugement de première instance). Il n'est pas insoutenable de déduire de ces propos que les punaises de lit n'ont pas simplement trouvé refuge dans les gaines techniques après le premier traitement, mais qu'elles ont pu emprunter ce canal à l'origine pour pénétrer dans le logement. Ce d'autant qu'un appartement situé dans l'immeuble adjacent, également au 2ème étage et attenant à celui des locataires, était sévèrement infesté de punaises de lit depuis plusieurs mois. Même à retenir, comme la recourante l'affirme, que les deux bâtiments disposaient de murs porteurs distincts, séparés par un joint de dilatation, il est difficile d'y voir une simple coïncidence. Dans ces conditions, il faut bien admettre que le scénario d'une infestation par le biais des gaines techniques de la salle de bain et des WC n'a rien d'impossible. A cela s'ajoute qu'après que la recourante a fait déposer les plaques de recouvrement sur les WC et refaire l'étanchéité sur le pourtour des réservoirs de chasse d'eau avec du mastic silicone le 29 juillet 2014, les punaises de lit ne sont plus réapparues dans l'appartement des locataires. Enfin, le témoin précité n'a pas indiqué que l'origine de l'infestation serait à rechercher dans les armoires encastrées, mais que celles-ci étaient également colonisées et avaient dû être démontées pour les besoins de la désinsectisation. La constatation querellée tenant au vecteur par lequel les punaises de lit se sont introduites dans l'appartement loué n'a dès lors rien d'arbitraire.
3.3. Selon la recourante, la cour cantonale a également retenu de manière arbitraire que les locataires s'étaient correctement acquittés de leur devoir de préparer l'appartement préalablement aux interventions. En effet, les intimés auraient admis, dans leur mémoire de demande, «avoir aperçu des punaises dans la troisième chambre, mais [n'avoir] plus [eu] le temps de vider la pièce avant le traitement du lendemain et d'une éventuelle congélation le jour même».
La Cour de justice retient que les locataires ont correctement préparé leur appartement avant les interventions de l'entreprise de désinfestation, soit, en d'autres termes, qu'ils ont fait tout ce qui était exigé d'eux dans cette perspective. Cette constatation n'a rien d'arbitraire. Le rapport de détection canine du 1 er mai 2014 n'avait pas relevé la présence de punaises de lit dans la troisième chambre et les locataires n'avaient pas reçu pour consigne de préparer cette pièce. Certes, même sans avoir reçu d'instruction dans ce sens, ils auraient certainement dû avertir l'entreprise en question et procéder comme pour les autres chambres s'ils avaient remarqué par eux-mêmes que des punaises de lit s'y étaient également propagées. Ceci ne vaut toutefois pas dans les circonstances de l'espèce, le temps ayant fait défaut aux locataires. En outre, comme les punaises de lit sortaient de la plaque de commande de la chasse d'eau des WC dont l'étanchéité n'a été refaite par la bailleresse qu'en juillet 2014, on ne voit guère ce qu'une défaillance des locataires en mai 2014 lors de la préparation de l'une des chambres pouvait changer à la situation.
Le grief tiré d'un établissement arbitraire des faits est dès lors mal fondé.
4.
4.1. Le litige porte sur la réduction de loyer afférente à la période du 11 mai 2014 au 26 juillet 2014 - fixée à 100% par la cour cantonale et représentant la restitution de 4'043 fr.20 - ainsi que sur les frais de congélation des effets personnels des locataires (1'800 fr.) mis à la charge de la recourante dans l'arrêt attaqué. Ces points ont fait l'objet de conclusions condamnatoires dans la demande des locataires.
Ces derniers ont également pris, lors de l'audience de plaidoiries finales, une conclusion en constatation négative portant sur les frais des traitements de désinfestation de l'appartement par 1'857 fr.60., facturés le 6 septembre 2014 à la bailleresse et réclamés par celle-ci aux intimés le 10 octobre 2014. Le Tribunal des baux et loyers a déclaré recevable cette conclusion nouvelle, dès lors qu'elle présentait un lien de connexité avec les conclusions initiales et que les locataires avaient un intérêt à ce que cette question soit définitivement tranchée. Sur le fond, il a jugé que, vu l'absence de faute des locataires dans la survenance du défaut, la réparation de celui-ci ne saurait être mise, même partiellement, à leur charge; en conséquence, il a prononcé que les locataires n'étaient pas débiteurs de la facture de V._ SA du 6 septembre 2014.
Dans son appel à la Cour de justice, la bailleresse a conclu notamment à l'irrecevabilité de la conclusion nouvelle en constatation. A ce propos, elle reprochait au Tribunal des baux et loyers une violation de l'<ref-law>, car, selon elle, la demande ne pouvait être modifiée aux débats principaux - plaidoiries finales comprises - que si, outre les conditions fixées à l'<ref-law>, la modification reposait sur des faits ou des moyens de preuve nouveaux; or, ceux-ci faisaient défaut, sachant que la réclamation du montant de 1'857 fr.60 adressée aux locataires remontait au 10 octobre 2014 et qu'elle était documentée par une facture du 6 septembre 2014, soit bien avant la saisine du Tribunal des baux et loyers.
La cour cantonale n'est pas entrée en matière sur le grief. En substance, elle a considéré que l'appelante aurait dû conclure à l'irrecevabilité de la nouvelle conclusion des locataires lors de l'audience de plaidoiries finales, ce qu'elle n'avait pas fait; formulée dans le mémoire d'appel, la conclusion de la bailleresse tendant à ce que la nouvelle conclusion des locataires soit déclarée irrecevable était elle-même irrecevable, faute de se fonder sur des faits ou des moyens de preuve nouveaux (<ref-law>).
4.2. La recourante se plaint d'une violation de l'<ref-law>. Elle fait valoir qu'en vertu de son plein pouvoir d'examen, l'autorité d'appel aurait dû d'office déclarer irrecevable la modification de la demande des locataires, même en l'absence d'une conclusion dans ce sens de la bailleresse devant le Tribunal des baux et loyers.
4.3. Il y a lieu de rechercher tout d'abord si la cour cantonale a refusé à bon droit d'examiner la recevabilité de la modification de la demande des locataires, au motif que l'appelante n'avait pas conclu devant le Tribunal des baux et loyers à l'irrecevabilité de la conclusion nouvelle.
L'admissibilité d'une modification des conclusions est une condition de recevabilité au sens de l'<ref-law> (FABIENNE HOHL, Procédure civile, tome I, 2 e éd. 2016, n° 591 p. 110). Conformément à l'<ref-law>, le Tribunal des baux et loyers a examiné d'office cette condition de recevabilité, sans qu'il soit nécessaire que la défenderesse soulève une exception d'irrecevabilité et formule une conclusion ad hoc; il a admis la recevabilité de la conclusion nouvelle des locataires et s'est prononcé sur le fond. Rien n'empêchait la bailleresse de soulever, en appel, le moyen fondé sur l'absence d'une condition de recevabilité (cf. FRANÇOIS BOHNET, in Code de procédure civile commenté, 2011, n° 12 ad <ref-law> p. 188) et de prendre une conclusion dans ce sens.
C'est à tort que la Chambre des baux et loyers a appliqué l'<ref-law> à la conclusion en irrecevabilité de l'appelante. Cette disposition fixe les conditions, en appel, d'une modification de la demande, c'est-à-dire d'une modification des conclusions circonscrivant les prétentions réclamées par le demandeur, respectivement le défendeur (cf. <ref-law>; FABIENNE HOHL, op. cit., n os 456 ss p. 86 ss). Or, même formulée pour la première fois en appel par la défenderesse, la conclusion en irrecevabilité de la conclusion négatoire des locataires n'est pas une conclusion nouvelle au sens de l'<ref-law>, qui porterait sur une prétention nouvelle ou modifiée et dont la recevabilité serait soumise aux conditions de l'<ref-law>.
En conclusion, la cour cantonale ne pouvait pas se fonder sur cette disposition pour refuser d'entrer en matière sur le grief de l'appelante tiré d'une violation de l'<ref-law>.
4.4. Il convient à présent d'examiner la recevabilité de la conclusion en constatation des locataires.
4.4.1. En procédure ordinaire, la modification de la demande est régie par les art. 227 et 230 CPC, qui s'appliquent par analogie à la procédure simplifiée (<ref-law>).
Selon l'<ref-law>, la demande ne peut être modifiée que si la prétention nouvelle ou modifiée relève de la même procédure et que l'une des conditions suivantes est remplie: la prétention nouvelle ou modifiée présente un lien de connexité avec la dernière prétention (let. a); la partie adverse consent à la modification de la demande (let. b). Dans la phase des débats principaux, la modification de la demande est soumise à une condition supplémentaire: elle doit reposer sur des faits ou des moyens de preuve nouveaux (<ref-law>).
Les faits et moyens de preuve nouveaux font l'objet de l'<ref-law>. Le principe est posé à l'alinéa 1 de cette disposition: pour être admis aux débats principaux, les faits et moyens de preuve nouveaux doivent être invoqués sans retard et, en plus, remplir les conditions de nova proprement dits (let. a) ou improprement dits (let. b). Par exception, les faits et moyens de preuve nouveaux sont admis sans restriction dans deux cas: à l'ouverture des débats principaux, s'il n'y a pas eu de second échange d'écritures ni de débats d'instruction (<ref-law>) et jusqu'aux délibérations, lorsque le tribunal doit établir les faits d'office (<ref-law>).
4.4.2. Lors de l'audience de plaidoiries finales devant le Tribunal des baux et loyers, les locataires/demandeurs ont ajouté une conclusion tendant à «la constatation que la somme réclamée par la bailleresse le 10 octobre 2014 (pièce 10, demandeurs) n'est pas due»; trois audiences d'instruction avaient été tenues antérieurement.
Le fait sur lequel les locataires fondaient leur conclusion en constatation résulte des allégués 35 et 36 de leur demande. Le moyen de preuve correspondant avait déjà été produit, comme les demandeurs l'indiquent dans la conclusion elle-même. La conclusion nouvelle ne reposait donc ni sur des faits nouveaux, ni sur des moyens de preuve nouveaux.
Vu son objet et sa valeur litigieuse, la cause était soumise à la procédure simplifiée (<ref-law>) et le juge devait établir les faits d'office (<ref-law>; maxime inquisitoire simple [ou sociale]). A un moment donné, la procédure simplifiée implique toujours des débats principaux, après notamment d'éventuelles audiences d'instruction (DENIS TAPPY, in Code de procédure civile commenté, 2011, n° 15 ad <ref-law>). La conclusion nouvelle des locataires a donc été introduite dans la phase des débats principaux.
Comme l'<ref-law> s'applique en l'espèce par analogie, la question se pose de savoir si la condition supplémentaire posée à la lettre b de cette disposition a un sens dans la constellation présente.
Les faits et moyens de preuve nouveaux mentionnés à l'<ref-law> sont ceux qui peuvent être admis dans la procédure conformément à l'<ref-law> (ERIC PAHUD, in Schweizerische Zivilprozessordnung [ZPO], Kommentar, Brunner et al. [éd.], 2e éd. 2016, n° 15 ad <ref-law>; DAVID HOFMANN/CHRISTIAN LÜSCHER, Le Code de procédure civile, 2 e éd. 2015, p. 213; LAURENT KILLIAS, Berner Kommentar, 2012, n° 14 ad <ref-law>; MICHAEL WIDMER, in Schweizerische Zivilprozessordnung [ZPO], Baker & McKenzie [éd.], 2010, n° 3 ad <ref-law>). Ils ne recouvrent pas seulement les nova au sens de l'<ref-law>, soumis à condition (DENIS TAPPY, op. cit., n° 8 ad <ref-law>; contra: CHRISTOPH LEUENBERGER, in Kommentar zur Schweizerischen Zivilprozessordnung, Sutter-Somm et al. [éd.], 3 e éd. 2016, n° 1b ad <ref-law>; cf. également DANIEL WILLISEGGER, in Basler Kommentar, 3 e éd. 2017, n° 4 et n° 19 ad <ref-law>). En effet, l'<ref-law> lie de manière générale l'admissibilité d'une modification de la demande avec des faits ou moyens de preuve nouveaux (cf. GEORG NAEGELI/NADINE MAYHALL, in Kurzkommentar ZPO, Paul Oberhammer et al. [éd.], 2 e éd. 2014, n° 3 ad <ref-law>; cf. également Inderkum, BO 2007 CE 529). Lorsque le juge établit les faits d'office, des faits et moyens de preuve nouveaux sont admis sans restriction jusqu'aux délibérations, conformément à l'<ref-law>; une modification des conclusions pourra alors se fonder sur un tel fait ou un tel moyen de preuve (DENIS TAPPY, op. cit., n° 8 ad <ref-law>). Contrairement à l'avis de DANIEL WILLISEGGER, la maxime inquisitoire ne prive pas de sens la condition posée par l'<ref-law>, qui ne s'appliquerait pas dans ce cas-là (op. cit., n° 19 ad <ref-law>). Quand bien même la modification de la demande n'a pas à reposer sur des nova au sens de l'<ref-law>, l'exigence de la nouveauté demeure. C'est dire que le demandeur ne saurait introduire une nouvelle conclusion en se fondant sur les seuls faits allégués précédemment (FABIENNE HOHL, op. cit., n° 480 p. 90; cf. également DENIS TAPPY, op. cit., n° 8 in fine ad <ref-law>). Or, en l'espèce, c'est bien ainsi que les locataires ont procédé lors de l'audience de plaidoiries finales. Comme leur conclusion en constatation négative ne reposait ni sur des faits, ni sur des moyens de preuve nouveaux, elle aurait dû être déclarée irrecevable.
Le grief tiré de la violation de l'<ref-law> est fondé. L'arrêt attaqué doit être réformé en ce sens que la conclusion tendant à faire constater que les intimés ne sont pas débiteurs de la facture de la société V._ SA du 6 septembre 2014 est irrecevable.
5.
Selon la recourante, la cour cantonale a violé l'art. 259a let. b et l'<ref-law> en octroyant aux locataires une réduction de loyer de 100% du 11 mai au 26 juillet 2014 - correspondant à la restitution de 4'043 fr.20 (76 jours x 53 fr.20) - au motif que le logement était inhabitable durant cette période en raison des traitements de désinfestation. Son principal argument tient aux circonstances subjectives propres aux locataires, lesquelles n'auraient pas dû guider les juges genevois. A son sens, il faudrait tenir compte, en revanche, du fait que l'appartement était faiblement infesté - hormis entre le 3 et le 24 juin 2014 - et que les occupants pouvaient réintégrer les locaux quatre à six heures après chaque traitement, puisque les locataires n'avaient pas de jeunes enfants allergiques. D'après la recourante, le loyer doit être réduit de 10% du 11 mai au 2 juin 2014, de 20% du 3 au 26 juin 2014 et de 2,5% du 27 juin au 17 juillet 2014, ce qui représente un montant de 401 fr. qu'elle s'engage à verser en mains des locataires.
5.1. La cour cantonale a considéré que toutes les pièces de l'appartement avaient été touchées à des périodes différentes et qu'il y avait lieu d'apprécier la réduction de loyer en équité, sans distinguer chronologiquement selon l'intensité de l'infestation de l'appartement. La situation familiale des locataires entrait en ligne de compte, dans la mesure où le logement était destiné à l'habitation familiale principale de ceux-ci. Or, la toxicité des produits, qui devaient demeurer en place sans être nettoyés durant trente jours, pouvait constituer un danger pour la santé des petites filles des locataires, lesquelles étaient alors âgées de trois ans et ne pouvaient être surveillées en permanence. En outre, on ne pouvait exiger des locataires, qui avaient débarrassé leurs matelas et une grande partie de leurs affaires personnelles, qu'ils réintègrent l'appartement alors qu'il subsistait des punaises de lit dans certaines pièces. Ainsi, le logement était inhabitable pendant toute la durée du traitement de désinfestation, soit du 11 mai au 26 juillet 2014, veille de la date à laquelle les locataires avaient déclaré avoir pu réintégrer leur logement.
5.2. Le bailleur est tenu de délivrer la chose dans un état approprié à l'usage pour lequel elle a été louée, puis de l'entretenir dans cet état (<ref-law>). Cette obligation du bailleur permet de cerner la notion du défaut, dès lors que celui-ci n'est défini ni à l'<ref-law> s'appliquant aux défauts originels, ni aux <ref-law> énumérant les droits du locataire en cas de défauts subséquents. Il y a ainsi défaut lorsque l'état réel de la chose diverge de l'état convenu, c'est-à-dire lorsque la chose ne présente pas une qualité que le bailleur avait promise ou lorsqu'elle ne présente pas une qualité sur laquelle le locataire pouvait légitimement compter en se référant à l'état approprié à l'usage convenu (<ref-ruling> consid. 3.2 p. 347 et les références). Le défaut de la chose louée est une notion relative, son existence dépendra des circonstances du cas particulier. Il convient de prendre en compte notamment la destination de l'objet loué, l'âge et le type de la construction, le montant du loyer (cf. <ref-ruling> consid. 3.3 p. 348 s.; arrêt 4C.387/2004 du 17 mars 2005 consid. 2.1; PIERRE WESSNER, Le bail à loyer et les nuisances causées par des tiers en droit privé, in 12e Séminaire sur le droit du bail, Neuchâtel 2002, p. 23 s.; PETER HIGI, Zürcher Kommentar, 1994, n° 28 ad <ref-law>).
Le défaut de moyenne importance restreint l'usage convenu de la chose louée sans l'entraver considérablement (art. 258 al. 3 let. a, art. 259b let. b et <ref-law>). Pour sa part, le défaut grave (art. 258 al. 1 et art. 259b let. a CO) exclut l'usage de la chose louée tel qu'il a été convenu par les parties ou le restreint de telle sorte qu'on ne peut objectivement exiger du locataire qu'il use de l'objet du bail (HIGI, op. cit., n° 43 ad <ref-law>). Tel est notamment le cas du défaut qui met en danger la santé du preneur et de sa famille ou du défaut qui empêche totalement le locataire d'habiter, pendant un certain temps, le logement loué ou une part importante de celui-ci (SVIT-Kommentar, Das schweizerische Mietrecht, 4e éd. 2018, n° 63 ad remarques préliminaires aux art. 258-259i CO; ROGER WEBER, in Basler Kommentar, 6e éd. 2015, n° 2 ad <ref-law>; DAVID LACHAT, Le bail à loyer, 2008, p. 225 et 257). La gravité du défaut peut également résulter de la durée de l'entrave (arrêt 4C.164/1999 du 22 juillet 1999 consid. 2d et les références).
Des défauts de moyenne importance et des défauts graves ouvrent au locataire les droits prévus à l'<ref-law>, en particulier la remise en état de la chose (al. 1 let. a) et la réduction du loyer (al. 1 let. b) (arrêt 4C.97/2003 du 28 octobre 2003 consid. 3.2). Il n'est pas nécessaire que le bailleur soit en faute ou que le défaut soit réparable (SVIT-Kommentar déjà cité, n° 25 ad remarques préliminaires aux art. 258-259i CO; LACHAT, op. cit., p. 224 et 249). Pour se libérer, le bailleur peut toujours prouver que le défaut a été causé par le locataire (cf. <ref-law>). Si le bailleur n'apporte pas cette contre-preuve, le loyer doit être réduit, même si l'origine exacte du défaut ne peut être établie, et cela sans faute du bailleur.
La réduction du loyer est proportionnelle au défaut; elle est due à partir du moment où le bailleur a eu connaissance du défaut et jusqu'à l'élimination de ce dernier (<ref-law>). En principe, il convient de procéder selon la méthode dite relative ou proportionnelle, telle qu'elle est pratiquée dans le contrat de vente: la valeur objective de la chose avec défaut est rapportée à sa valeur objective sans défaut, le loyer étant ensuite réduit dans la même proportion. Cependant, le calcul proportionnel n'est pas toujours aisé. Il est alors 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 (<ref-ruling> consid. 4.1 p. 507 s.). Chaque fois qu'une autorité cantonale procède en équité (<ref-law>), le Tribunal fédéral ne substitue pas sa propre appréciation à celle de l'instance inférieure; il n'intervient que si celle-ci a abusé de son pouvoir d'appréciation, c'est-à-dire si elle a retenu des critères inappropriés, si la décision rendue aboutit à un résultat manifestement injuste ou à une iniquité choquante (<ref-ruling> consid. 5.3.2 p. 345; <ref-ruling> consid. 2.1 p. 254; <ref-ruling> consid. 2.2.1 p. 279).
5.3. Il n'est pas contesté que l'appartement loué par les intimés était affecté d'un défaut ouvrant droit à une réduction de loyer. Seules la quotité et la durée de cette mesure sont encore litigieuses.
La méthode consistant à fixer la réduction de loyer selon les règles de l'équité n'est pas critiquable en l'espèce, dans la mesure où l'état défectueux s'est prolongé sur une longue période au cours de laquelle l'appartement a été infesté dans sa quasi-intégralité. En effet, il résulte des faits établis par la cour cantonale et qui lient le Tribunal fédéral que, lors de la première détection canine le 1er mai 2014, deux des trois chambres étaient infestées, lors de la seconde détection le 3 juin 2014, les insectes étaient présents dans les trois chambres, le hall d'entrée et le salon et lors de l'avant-dernière détection le 8 juillet 2014, des punaises de lit ont encore été retrouvées dans la salle de bain et le WC séparé. On ne saurait par ailleurs retenir, comme la recourante le laisse entendre au travers de ses calculs, que c'est seulement à partir de la détection canine que l'une ou l'autre pièce a été infestée. Il s'agit en l'occurrence typiquement d'une situation évolutive où la réduction de loyer doit être déterminée en équité.
L'appartement a été désinsectisé à trois reprises, les 12 et 22 mai 2014, les 16 et 26 juin 2014 et les 10 et 17 juillet 2014. A chaque fois, l'entreprise de désinsectisation a appliqué des produits chimiques destinés à éradiquer les nuisibles; ces substances devaient demeurer en place durant trente jours sans être nettoyées. Du 11 mai au 26 juillet 2014, les locataires et leurs deux filles alors âgées de trois ans n'ont plus occupé l'appartement, duquel ils avaient ôté les matelas et une grande partie de leurs affaires personnelles aux fins de les congeler. Dans les circonstances de l'espèce, on ne pouvait attendre des intimés qu'ils réintègrent l'appartement loué avant le 26 juillet 2014. D'une part, vu le degré d'infestation de l'appartement, dont toutes les pièces ainsi que la salle de bain et le WC séparé ont été contaminés, les occupants auraient nécessairement subi de nombreuses piqûres, ce qui - indépendamment de savoir si les punaises véhiculent ou non des maladies infectieuses - constitue une atteinte indéniable à l'intégrité physique, voire psychique. D'autre part, les produits chimiques destinés à éradiquer les parasites constituaient un risque pour la santé des jumelles qui, à l'âge de trois ans, étaient encore susceptibles de porter fréquemment mains et objets à leur bouche et donc d'ingérer les substances nocives. L'appartement était donc bel et bien affecté d'un défaut grave tant par son ampleur que par sa durée et, partant, était inhabitable pendant toute la période en cause, comme la cour cantonale l'a jugé à bon droit.
La recourante soutient à tort que la présence d'enfants en bas âge ne doit pas interférer dans le raisonnement. Certes, le juge doit apprécier objectivement la mesure dans laquelle l'usage convenu se trouve diminué (SVIT-Kommentar déjà cité, n° 46 ad remarques préliminaires aux art. 258-259i CO; HIGI, op. cit., n° 14 ad <ref-law>). Il ne prend donc pas en considération des circonstances subjectives propres à un locataire (cf. arrêt 4C.377/2004 du 2 décembre 2004 consid. 3.3; HIGI, op. cit., n° 14 ad <ref-law>), à moins que sa conception subjective ou ses souhaits s'agissant de l'état ou des propriétés de la chose louée n'aient fait l'objet d'un accord ou de garanties (cf. arrêt 4C.291/2000 du 11 avril 2001 consid. 4b; HIGI, op. cit., n° 14 ad <ref-law>). Cela étant, il ne s'agit pas ici de savoir ce que les parties avaient convenu au titre des qualités de l'appartement loué et dans quelle mesure les attentes du locataire par rapport à l'une ou l'autre de ces propriétés étaient légitimes, mais bien de déterminer l'ampleur de la restriction à l'usage convenu, la destination de la chose louée prévue par les parties constituant à cet égard un critère objectif (cf. HIGI, op. cit., n° 15 ad <ref-law>). En l'espèce, selon l'usage prévu contractuellement, le logement était destiné à l'habitation familiale principale des locataires. Or, la remise en état de la chose louée, à la charge de la bailleresse, nécessitait l'utilisation de substances chimiques à laisser poser trente jours, lesquelles constituaient un danger pour la santé des jeunes enfants des locataires. C'est dire que, pendant toute la période où les divers traitements de désinfestation successifs sont intervenus, l'appartement loué ne pouvait objectivement être affecté à l'usage prévu, soit servir d'habitation familiale aux locataires.
En considérant que l'appartement était inhabitable du 11 mai au 26 juillet 2014 et, partant, en supprimant tout loyer pendant cette période, la cour cantonale n'a manifestement pas abusé de son pouvoir d'appréciation. Le grief de la recourante relatif à la réduction de loyer doit être écarté.
6.
La recourante se plaint également d'une violation des art. 259b et 259e CO. A son sens, les juges précédents ne pouvaient pas la condamner à verser aux intimés la somme de 1'800 fr. au titre des frais de congélation de leurs effets personnels en se basant sur l'<ref-law> et sur les règles et usages locatifs du canton de Genève applicables aux immeubles soumis à la loi générale du 4 décembre 1977 sur le logement et la protection des locataires (LGL; RS-GE I 4 05) (ci-après: les règles et usages locatifs). En effet, ces frais ne rentreraient pas dans le cadre d'une remise en état de la chose louée que la bailleresse doit assumer indépendamment de toute faute, mais constitueraient un dommage subi par les locataires, dont la réparation serait régie par l'<ref-law>. Or, les conditions d'application de cette disposition ne seraient pas réunies dans le cas présent puisqu'aucune faute ne serait imputable à la bailleresse. C'est donc à tort que la cour cantonale aurait mis les frais en cause à la charge de la recourante.
6.1. Selon la Chambre d'appel des baux et loyers, la congélation des effets personnels des locataires constitue une mesure destinée à supprimer la source du défaut, car elle est indispensable à l'élimination des punaises de lit. Les frais correspondants relèvent de la remise en état de la chose louée au sens de l'<ref-law>, respectivement de l'<ref-law> si le bailleur ne remédie pas au défaut dans un délai convenable. L'art. 28 al. 1 let. k des règles et usages locatifs dispose d'ailleurs que le bailleur doit prendre toutes dispositions pour l'extermination des punaises et que les frais ne sont à la charge du locataire que si celui-ci est fautif. Selon l'arrêt attaqué, il incombe dès lors à la bailleresse de prendre en charge les frais de congélation en cause, dont le montant de 1'800 fr. n'est pas contesté.
6.2. Les prétentions des intimés entrant en considération à la suite de l'infestation de punaises de lit sont énumérées aux art. 259a à 259i CO. En particulier, l'<ref-law> permet au locataire de réclamer au bailleur des dommages-intérêts lorsque le premier subit un dommage en raison d'un défaut de la chose louée dont le second répond. Cette disposition est un cas d'application de l'<ref-law> (PIERRE TERCIER/LAURENT BIERI/BLAISE CARRON, Les contrats spéciaux, 5e éd. 2016, n° 1796). La responsabilité (contractuelle) du bailleur sera engagée si le dommage se trouve en relation de causalité adéquate avec le défaut de la chose louée, à moins qu'il ne prouve qu'aucune faute ne lui est imputable. L'<ref-law> présume donc la faute du bailleur, lequel peut se libérer s'il prouve avoir pris toutes les précautions pour éviter le dommage ou y remédier.
C'est à juste titre que la bailleresse soutient que la réparation du dommage occasionné aux locataires doit être analysée au regard de l'<ref-law>, et non de l'<ref-law> relatif à la remise en état. En effet, les effets personnels du locataire relèvent manifestement du patrimoine de ce dernier. Il ne s'agit pas de la chose louée elle-même, seule appréhendée par l'<ref-law>. Cette disposition, qui fait abstraction de toute faute du bailleur, ne saurait donc s'appliquer au dommage subi par le locataire.
Certes, dans le contexte de l'<ref-law>, le bailleur a la possibilité de prouver la responsabilité du locataire, auquel cas ses obligations de remise en état et de réduction du loyer tombent. S'il échoue dans cette preuve et notamment lorsque l'origine exacte du défaut ne peut pas être établie, le bailleur demeure tenu de remettre en état la chose louée à ses frais et d'octroyer au locataire une réduction de loyer si le défaut exclut ou restreint l'usage de la chose louée. Un tel système ne saurait prévaloir s'agissant du dommage consécutif au défaut, affectant le patrimoine du locataire. Dans ce cas-là, le bailleur doit pouvoir se disculper s'il a pris toutes les précautions pour éviter le dommage ou pour y remédier. Il ne saurait dès lors être question de confondre l'<ref-law> et l'<ref-law>. La cour cantonale utilise à cet égard une conjonction qui n'a pas lieu d'être. En effet, contrairement à l'avis des juges précédents, la congélation des effets personnels des locataires ne vise pas à éliminer la source du défaut. L'infestation de ces objets est une conséquence ( Mangelfolgeschaden), et non la cause du défaut; si l'origine du défaut avait résidé dans ces effets, la responsabilité de la remise en état de la chose louée aurait d'ailleurs incombé aux locataires.
Au surplus, rien n'indique que l'art. 28k des règles et usages locatifs aille plus loin en faveur des locataires que l'<ref-law>. Cette conclusion ne saute pas aux yeux et la Cour de justice n'étaie en rien la lecture qu'elle propose de la disposition genevoise.
Le grief de la recourante apparaît dès lors fondé.
Il s'ensuit l'admission du recours sur ce point et l'annulation de l'arrêt attaqué en tant qu'il condamne la recourante à verser aux intimés la somme de 1'800 fr. avec intérêts à 5% dès le 19 juin 2014. La cause sera envoyée à la Chambre des baux et loyers afin qu'elle examine, au regard de l'<ref-law>, si les frais de congélation des effets personnels des locataires sont à charge de la bailleresse, ce qui - sachant que la faute de cette dernière est présumée - dépendra du point de savoir si elle parvient à prouver qu'elle a pris toutes les précautions pour éviter le dommage ou y remédier.
7.
Les intimés, qui ont conclu au rejet du recours, succombent partiellement et supporteront en conséquence la moitié des frais de la présente procédure (<ref-law>). La recourante obtient partiellement gain de cause et prendra en charge l'autre moitié des frais. Les dépens dus de part et d'autre seront compensés (<ref-law>).

rulings:
Par ces motifs, le Tribunal fédéral prononce :
1.
Le recours constitutionnel subsidiaire est irrecevable.
2.
Le recours en matière civile est partiellement admis.
L'arrêt attaqué est réformé en ce sens qu'est irrecevable la conclusion tendant à faire constater que les intimés ne sont pas débiteurs de la facture de la société V._ SA du 6 septembre 2014.
L'arrêt attaqué est annulé en tant qu'il condamne la recourante à verser aux intimés la somme de 1'800 fr. avec intérêts à 5% dès le 19 juin 2014. La cause est renvoyée à la Chambre des baux et loyers de la Cour de justice du canton de Genève pour nouvelle décision dans le sens des considérants.
L'arrêt attaqué est confirmé pour le surplus.
3.
Les frais judiciaires, arrêtés à 2'000 fr., sont mis par 1'000 fr. à la charge de la recourante et par 1'000 fr. à la charge des intimés, solidairement entre eux.
4.
Les dépens sont compensés.
5.
Le présent arrêt est communiqué aux mandataires des parties et à la Chambre des baux et loyers de la Cour de justice du canton de Genève.
Lausanne, le 11 octobre 2018
Au nom de la Ire Cour de droit civil
du Tribunal fédéral suisse
La Présidente : Kiss
La Greffière : Godat Zimmermann


facts:
Sachverhalt:
Mit Entscheid des Zivilkreisgerichts Basel-Landschaft vom 3. Februar 2021 wurde die Ehe der rubrizierten Parteien geschieden. Dabei wurde der Ehemann bei seiner Bereitschaft behaftet und verpflichtet, der Ehefrau monatlich Fr. 1'500.-- Unterhalt zu bezahlen bis zum Erreichen seines AHV-Alters im Mai 2021. In güterrechtlicher Hinsicht wurde er zur Zahlung von Fr. 29'037.-- und betreffend Vorsorgeausgleich zu einer Leistung von Fr. 335'348.50 verpflichtet. In Bezug auf ein Protokollberichtigungsbegehren der Ehefrau vom 5. März 2021 verfügte das Zivilkreisgericht am 26. April 2021, dass ohne Gegenbericht bis 11. Mai 2021 die Angelegenheit als erledigt betrachtet werde und für alles Weitere die Zuständigkeit beim Kantonsgericht liege.
Berufungsweise verlangte die Ehefrau die Abweisung dieser Verfügung (scil.) sowie des Ehescheidungsurteils und eine Neubeurteilung des Sachverhalts. Sodann verlangte sie, das Scheidungsurteil dürfe erst in Kraft treten, wenn von Amtes wegen sämtliche Unterlagen der Pensionskasse und die vollständigen Versicherungspolicen betreffend überobligatorische und 3a-Sparguthaben eingeholt worden seien. Mit Entscheid vom 16. Juni 2021 trat das Kantonsgericht Basel-Landschaft mangels genügender (namentlich mangels bezifferter) Rechtsbegehren und mangels hinreichender Begründung auf die Berufung nicht ein.
Dagegen hat die Ehefrau am 20. Juli 2021 beim Bundesgericht eine Beschwerde eingereicht mit den Begehren, der Entscheid des Kantonsgerichts sei abzuweisen (scil.) bzw. auf ihre Berufung sei einzutreten aufgrund der erstinstanzlich zahlreich erfolgten unrichtigen Rechtsanwendungen und der erstinstanzliche Entscheid sei aufzuheben und dann zu rektifizieren, unter Beibehaltung der aufschiebenden Wirkung, und alle Verträge und Versicherungsausweise seien endlich offenzulegen. Ferner verlangt sie die unentgeltliche Rechtspflege.

considerations:
Erwägungen:
1.
Soweit die Beschwerdeführerin direkt den erstinstanzlichen Entscheid anficht, kann auf die Beschwerde nicht eingetreten werden; im bundesgerichtlichen Verfahren kann einzig der Entscheid der letzten kantonalen Instanz das Anfechtungsobjekt bilden (<ref-law>).
2.
Zweitinstanzlich geht es um einen Nichteintretensentscheid. Streitgegenstand im bundesgerichtlichen Verfahren kann deshalb nur die Frage sein, ob die Vorinstanz zu Recht einen Nichteintretensentscheid gefällt hat (<ref-ruling> E. 1.2 S. 41; <ref-ruling> E. 3.2 S. 235).
Diesbezüglich hat die Beschwerde eine Begründung zu enthalten, in welcher in gedrängter Form dargelegt wird, inwiefern der angefochtene Entscheid Recht verletzt (<ref-law>), was eine sachbezogene Auseinandersetzung mit dessen Erwägungen erfordert (<ref-ruling> E. 2 S. 116; <ref-ruling> E. 2.4 S. 368).
Zu beachten ist schliesslich, dass Anträge auf Geldforderungen bei reformatorischen Rechtsmitteln zu beziffern sind (<ref-ruling> E. 2 S. 237; <ref-ruling> E. 1.2 S. 112), jedenfalls soweit sich nicht aus der Begründung ohne weiteres ergibt, auf welchen Betrag der Rechtssuchende eine Geldleistung festgesetzt wissen will (<ref-ruling> E. 1b S. 414); ein Begehren um "Festlegung des Geschuldeten" u.ä. ist unstatthaft (<ref-ruling> E. 1 S. 392). Dies gilt ebenfalls im Zusammenhang mit Unterhaltsbegehren und insbesondere mit güterrechtlichen Zahlungen; deshalb sind auch Anträge auf Festlegung der üblichen, angemessenen oder gesetzlichen Leistungen ungenügend (BGE 79 II 253 E. 1 S. 255; Urteile 5A_256/2007 vom 20. Juli 2007 E. 1; 5A_669/2007 vom 4. August 2008 E. 1.2.1; 5A_273/2012 vom 10. Mai 2012 E. 1; 5A_574/2014 vom 15. Januar 2015 E. 7.2; 5A_986/2017 vom 14. Dezember 2017 E. 3; 5A_1033/2018 vom 9. Januar 2019 E. 1). Diese zum Verfahren vor Bundesgericht festgehaltenen Grundsätze gelten auch für die Berufung gemäss der Zivilprozessordnung (<ref-law>; <ref-ruling> E. 4.3 S. 619) und im Übrigen bereits im erstinstanzlichen Verfahren (<ref-law>; <ref-ruling> E. 4.3 S. 619).
3.
Die Beschwerdeführerin macht geltend, eine Bezifferung sei ihr im Berufungsverfahren gar nicht möglich gewesen, weil die Unterlagen nicht bzw. unzureichend vorhanden seien, insbesondere die Bewertung verschiedener Firmen ausstehend sei, und das Zivilamtsgericht eine vollumfänglich falsche Zuordnung von Eigengut und Errungenschaft vollzogen habe; es habe einfach auf das unbewiesene Eigengut des Ehemannes abgestützt bzw. dieses anerkannt, dies nicht zuletzt, weil von der erstinstanzlichen Gerichtsschreiberin nicht verlangt werden könne, dass sie die komplexen Finanzkonstrukte durchschaue. Im Folgenden listet die Beschwerdeführerin diverse bezifferte Punkte auf, namentlich in Bezug auf Aktien und Haus, die sie anders behandelt haben möchte.
Das Rechtsmittelverfahren dient nicht dazu, unterinstanzliche Versäumnisse bzw. das offenbar nicht im Sinn der Beschwerdeführerin ausgegangene erstinstanzliche Beweisverfahren nachzuholen. Die Beschwerdeführerin legt nicht dar, dass und inwiefern sie diesbezüglich berufungsweise substanziierte Ausführungen gemacht hätte; die allgemeine Behauptung, sie habe inhaltlich die Anforderungen, die bei einem Laien gestellt werden könnten, mehr als erfüllt, genügt jedenfalls nicht. Sodann ist insbesondere auch nicht ersichtlich, dass sie in finanzieller Hinsicht bezifferte Rechtsbegehren gestellt hätte, obwohl dies nach dem in E. 2 Gesagten unabdingbar ist. Mit der Aussage, sie habe mit dem Antrag auf vollständige Neubeurteilung des völlig falsch festgestellten Sachverhaltes hinreichende Rechtsbegehren gestellt, indem dies nicht bloss einen Aufhebungsantrag, sondern einen Antrag in der Sache dargestellt habe, ist deshalb keine Rechtsverletzung darzutun. Dass im Übrigen bezifferte Rechtsbegehren entgegen den sinngemässen Ausführungen möglich gewesen wären, beweist die Beschwerdeführerin selbst, indem sie diverse Punkte auflistet, welche sie als unrichtig behandelt betrachtet, und sie diesbezüglich auch konkrete Zahlen nennt.
4.
Nach dem Gesagten ist die Beschwerde im vereinfachten Verfahren nach <ref-law> abzuweisen, soweit darauf eingetreten werden kann.
5.
Wie die vorstehenden Erwägungen zeigen, konnte der Beschwerde von Anfang an kein Erfolg beschieden sein, weshalb es an den materiellen Voraussetzungen der unentgeltlichen Rechtspflege fehlt (<ref-law>) und das entsprechende Gesuch abzuweisen ist.
6.
Die Gerichtskosten sind der Beschwerdeführerin aufzuerlegen.

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen, soweit auf sie einzutreten ist.
2.
Das Gesuch um unentgeltliche Rechtspflege wird abgewiesen.
3.
Die Gerichtskosten von Fr. 1'500.-- werden der Beschwerdeführerin auferlegt.
4.
Dieses Urteil wird den Parteien und dem Kantonsgericht Basel-Landschaft, Abteilung Zivilrecht, schriftlich mitgeteilt.
Lausanne, 3. August 2021
Im Namen der II. zivilrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Herrmann
Der Gerichtsschreiber: Möckli

canton: CH

region: Federation


facts:
Sachverhalt:
A.
Der 1986 geborene A._ studierte an der Hochschule B._ Maschinenbauingenieur als er durch einen Badeunfall am 25. Juli 2014 eine komplette Tetraplegie erlitt. Seither ist er auf einen Elektrorollstuhl angewiesen und in seinen Arm-, Hand- und Fingerfunktionen eingeschränkt. Die IV-Stelle des Kantons Graubünden leistete u. a. Kostengutsprachen für ein Umweltkontrollgerät, ein Greifsystem und für bauliche Anpassungen in der Wohnung. Sie übernahm auch die Mehrkosten für die Weiterführung des Studiums sowie für ein Praktikum und sprach A._ eine ganze Invalidenrente zu. In der Folge zog A._ nach Frauenfeld und studierte an der Fachhochschule C._ in reduziertem Umfang und mit einer Assistenz weiter. Im Sommer 2017 schloss A._ das Bachelorstudium in Maschinentechnik mit Vertiefung in Material- und Verfahrenstechnik erfolgreich ab. Anfang 2019 trat er ein Praktikum bei der Maschinenfabrik D._ AG an.
Mit Schreiben vom 28. Mai 2019 stellte A._ Antrag auf Kostenübernahme für einen Fahrzeugumbau gemäss der Offerte der E._ AG, die sich auf insgesamt Fr. 154'901.65 belief. Darin enthalten waren u. a. eine Center Van Umrüstung des VW Bus T6 TDi Automatik, eine Joysteer-Lenkung, ein Kassettenlifter mit seitlicher Auffahrmöglichkeit, eine Funkfernbedienung, eine Rollstuhlarretierung sowie eine Oberkörperstabilisation. Die IV-Stelle holte eine fachtechnische Beurteilung bei der Schweizerischen Arbeitsgemeinschaft Hilfsmittelberatung für Behinderte und Betagte (SAHB) ein. Diese empfahl eine Kostengutsprache in der Höhe von Fr. 153'770.80, was der Übernahme der gesamten in der Offerte der E._ AG aufgeführten Kosten, abzüglich derjenigen für eine Standheizung für Fr. 1050.-, entsprach, sofern die IV-Stelle den Fahrzeugumbau noch als einfach und zweckmässig bezeichne (Bericht vom 10. Oktober 2019). Die IV-Stelle ersuchte zudem das Bundesamt für Sozialversicherungen (BSV) um Stellungnahme. Dieses verneinte am 7. November 2019 die Verhältnismässigkeit für eine Kostenübernahme von mehr als Fr. 150'000.-, zumal A._ nicht erwerbstätig und unklar sei, ob und in welchem Umfang er es jemals sein werde. Deshalb sei auch nicht möglich, die Kosten allfälliger Taxifahrten zum Arbeitsplatz denjenigen der Umbaukosten unter Berücksichtigung der Resterwerbsdauer gegenüberzustellen. Eine Fahrzeugbenutzung für Arztbesuche und private Fahrten (Handball, Einkaufen etc.) rechtfertige eine derart erhöhte Inanspruchnahme der Invalidenversicherung nicht. Mit Verfügung vom 31. Januar 2020 wies die IV-Stelle das Gesuch um Kostengutsprache mangels Verhältnismässigkeit ab. Seit 1. März 2020 ist A._ als Ingenieur bei der F._ GmbH teilzeitlich im Umfang von 50 % tätig.
B.
Die dagegen erhobene Beschwerde wies das Verwaltungsgericht des Kantons Graubünden mit Entscheid vom 9. Juni 2020 ab.
C.
A._ lässt Beschwerde in öffentlich-rechtlichen Angelegenheiten führen und beantragen, in Aufhebung des angefochtenen Entscheids und der Verfügung vom 31. Januar 2020 sei die IV-Stelle zu verpflichten, die Kosten von Fr. 153'770.80 für invaliditätsbedingte Abänderungen am Motorfahrzeug zu übernehmen. Eventualiter sei die IV-Stelle zu verpflichten, die Kosten in der Höhe von Fr. 25'000.- für invaliditätsbedingte Abänderungen am Motorfahrzeug zu tragen sowie einen Kostenbeitrag in der Höhe von Fr. 1300.- für ein Automatikgetriebe zu leisten.
Die IV-Stelle schliesst auf Abweisung der Beschwerde. Das zur Vernehmlassung aufgeforderte Bundesamt für Sozialversicherungen schliesst ebenfalls auf deren Abweisung.

considerations:
Erwägungen:
1.
1.1. Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat (<ref-law>). Es kann die Sachverhaltsfeststellung der Vorinstanz von Amtes wegen berichtigen oder ergänzen, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von Artikel 95 beruht (<ref-law>). Das Bundesgericht wendet das Recht von Amtes wegen an (<ref-law>). Es ist folglich weder an die in der Beschwerde geltend gemachten Argumente noch an die Erwägungen der Vorinstanz gebunden; es kann eine Beschwerde aus einem anderen als dem angerufenen Grund gutheissen, und es kann sie mit einer von der Argumentation der Vorinstanz abweichenden Begründung abweisen. Immerhin prüft das Bundesgericht, unter Berücksichtigung der allgemeinen Pflicht zur Begründung der Beschwerde (Art. 42 Abs. 1 und 2 BGG), grundsätzlich nur die geltend gemachten Rügen, sofern die rechtlichen Mängel nicht geradezu offensichtlich sind (<ref-ruling> E. 1 S. 236 mit Hinweisen).
1.2. Neue Tatsachen und Beweismittel dürfen vor Bundesgericht nur so weit vorgebracht werden, als erst der Entscheid der Vorinstanz dazu Anlass gibt (<ref-law>), was in der Beschwerde näher darzulegen ist. Der vorinstanzliche Verfahrensausgang allein bildet keinen hinreichenden Anlass im Sinne von <ref-law> für die Zulässigkeit von Noven, die bereits im kantonalen Verfahren ohne Weiteres hätten vorgebracht werden können. Tatsachen, die sich erst nach dem angefochtenen Entscheid ereigneten oder Urkunden, die erst nach diesem entstanden sind, können als echte Noven vom Bundesgericht nicht berücksichtigt werden (<ref-ruling> E. 1.2 S. 23 mit Hinweisen).
2.
2.1. Streitig und zu prüfen ist, ob die Vorinstanz Bundesrecht verletzt hat, indem sie in Bestätigung der Verfügung der IV-Stelle vom 31. Januar 2020 einen Anspruch auf Kostenübernahme für einen Fahrzeugumbau in der Höhe von Fr. 153'770.80 verneinte.
2.2. Gemäss <ref-law> hat die versicherte Person im Rahmen einer vom Bundesrat aufzustellenden Liste Anspruch auf jene Hilfsmittel, deren sie für die Ausübung der Erwerbstätigkeit oder der Tätigkeit im Aufgabenbereich, zur Erhaltung oder Verbesserung der Erwerbsfähigkeit, für die Schulung, die Aus- und Weiterbildung oder zum Zwecke der funktionellen Angewöhnung bedarf. Abs. 2 der Bestimmung sieht vor, dass die versicherte Person, die infolge Invalidität für die Fortbewegung, für die Herstellung des Kontakts mit der Umwelt oder für die Selbstsorge kostspieliger Geräte bedarf, im Rahmen der vom Bundesrat aufzustellenden Liste ohne Rücksicht auf die Erwerbsfähigkeit Anspruch auf solche Hilfsmittel hat. Der Bundesrat hat in <ref-law> (SR 831.201) dem Departement des Innern den Auftrag übertragen, die Liste der in <ref-law> vorgesehenen Hilfsmittel zu erstellen. Nach Art. 2 der entsprechenden Verordnung vom 29. November 1976 über die Abgabe von Hilfsmitteln durch die Invalidenversicherung (HVI; SR 831.232.51; Stand 1. Juli 2020) besteht im Rahmen der im Anhang aufgeführten Liste Anspruch auf Hilfsmittel, soweit diese für die Fortbewegung, die Herstellung des Kontakts mit der Umwelt oder für die Selbstsorge notwendig sind (Abs. 1). Laut <ref-law> besteht Anspruch auf die im Anhang mit (*) bezeichneten aufgelisteten Hilfsmittel nur, soweit diese für die Ausübung einer Erwerbstätigkeit oder die Tätigkeit im Aufgabenbereich, für die Schulung, die Ausbildung, die funktionelle Angewöhnung oder für die in der zutreffenden Ziffer des Anhangs ausdrücklich genannte Tätigkeit notwendig sind (vgl. auch Rz. 1018 des Kreisschreibens des BSV über die Abgabe von Hilfsmitteln durch die Invalidenversicherung [KHMI; Stand 1. Januar 2021]). Der Anspruch erstreckt sich auch auf das invaliditätsbedingt notwendige Zubehör und die invaliditätsbedingten Anpassungen (Abs. 3). Es besteht nur Anspruch auf Hilfsmittel in einfacher, zweckmässiger und wirtschaftlicher Ausführung. Durch eine andere Ausführung bedingte zusätzliche Kosten hat der Versicherte selbst zu tragen (Abs. 4).
2.3. Auch im Bereich der Hilfsmittel ist die Invalidenversicherung keine umfassende Versicherung, welche sämtliche durch die Invalidität verursachten Kosten abdeckt. Das Gesetz will die Eingliederung lediglich soweit sicherstellen, als diese im Einzelfall notwendig, aber auch genügend ist und zudem der voraussichtliche Erfolg der Eingliederungsmassnahme in einem vernünftigen Verhältnis zu ihren Kosten steht, wobei die gesamten tatsächlichen und rechtlichen Umstände des konkreten Einzelfalls zu berücksichtigen sind (Art. 8 Abs. 1 und Art. 21 Abs. 3 IVG; <ref-ruling> E. 3.2.1 S. 34; <ref-ruling> E. 5.1 S. 165; <ref-ruling> E. 3 S. 107 f.). Für den Umfang des Anspruchs auf Abänderungen an Motorfahrzeugen ist entscheidend, ob die behinderungsbedingt notwendige Anpassung im Vordergrund steht, ob die Vorkehr zur Erreichung eines in Art. 21 Abs. 1 oder 2 IVG umschriebenen Zwecks während längerer Zeit notwendig ist und ob die Erfordernisse der Einfachheit und Zweckmässigkeit des Hilfsmittels gegeben sind. Gemäss Ziffer 10 HVI-Anhang haben Versicherte, die voraussichtlich dauernd eine existenzsichernde Erwerbstätigkeit ausüben und zur Überwindung des Arbeitsweges auf ein persönliches Motorfahrzeug angewiesen sind, Anspruch auf Motor- und Invalidenfahrzeuge. Ziffer 10.05 HVI-Anhang, der invaliditätsbedingte Abänderungen von Motorfahrzeugen erwähnt, enthält keinen Stern (*). Eine erwerbliche Ausrichtung ist somit für einen diesbezüglichen Anspruch nicht vorausgesetzt, sondern es genügt, dass eine Abänderung für die Fortbewegung, die Herstellung des Kontaktes mit der Umwelt oder die Selbstsorge (sog. Sozialrehabilitation) notwendig ist (<ref-law>, Art. 2 Abs. 1 und 2 HVI; SVR 2017 IV Nr. 15 S. 36, 8C_256/2016 E. 2.2.2; Urteile 9C_308/2014 vom 19. Mai 2015 E. 4.2 und 9C_314/2014 vom 7. November 2014 E. 3.2). Rz. 2098 KHMI limitiert für den Regelfall die Abänderungskosten auf Fr. 25'000.-. Für die Übernahme darüber hinausgehender Kosten wird eine besondere Begründung verlangt (<ref-ruling> E. 2.1 in fine S. 170). Das ehemalige Eidg. Versicherungsgerichts [heute: sozialrechtliche Abteilungen des Bundesgerichts] hat die Gesetz- und Verfassungsmässigkeit des im Kreisschreiben auf Fr. 25'000.- festgelegten Betrages denn auch ausdrücklich bejaht (<ref-ruling> E. 4.4 S. 173; vgl. Urteil 9C_308/2014 vom 19. Mai 2015 E. 4.4).
3.
3.1. Das kantonale Gericht erwog, es sei zwar nicht von der Hand zu weisen, dass der stark eingeschränkte Beschwerdeführer durch den Fahrzeugumbau an Autonomie gewönne und Termine wie Arztbesuche und Therapien sowie seine ehrenamtliche Tätigkeit als Handballtrainer genauso selbstständig wahrnehmen könnte wie seinen Arbeitsweg von Frauenfeld nach Zürich. Im Unterschied zum Pendeln mit dem Zug wäre er dabei nicht der Witterung ausgesetzt und müsste sich nicht zum Bahnhof fahren und sich nicht beim Umsteigen helfen lassen. Angesichts der ausserordentlich hohen Abänderungskosten seien jedoch Alternativen der Fortbewegung zu bedenken. Es sei ihm grundsätzlich möglich und zumutbar, den Arbeitsweg mit dem öffentlichen Verkehr zurückzulegen. Ein Behindertentransport durch den Verein für Behinderten-Busse G._ koste Fr. 7.- pro Fahrt. Auch ein Generalabonnement der SBB für Erwachsene sei deutlich günstiger als der veranschlagte Fahrzeugumbau. Obschon der Beschwerdeführer an einer schweren Behinderung leide und seine sozialen wie beruflichen Eingliederungsbemühungen achtunggebietend seien, vermöge gesamthaft der Nutzen eines umgebauten Autos eine die behördliche Limite von Fr. 25'000.- um mehr als das Sechsfache übersteigende Abgeltung nicht zu rechtfertigen. Da der fachtechnische Bericht der SAHB zudem nahelege, dass die Fahrzeuganpassungen nur in ihrer Gesamtheit dem Beschwerdeführer ermöglichten, eigenständig ein Fahrzeug zu führen, könnten auch im Sinne von Erforderlichkeitsüberlegungen nicht nur einzelne davon gewährt werden. Die Beschwerdegegnerin sei aber darauf zu behaften, dass sie dem Beschwerdeführer im Rahmen der Austauschbefugnis Fr. 25'000.- zuspreche, sofern er die geplante Abänderung tatsächlich vornehmen liesse. Zu prüfen sei dabei zudem, ob bei der Anschaffung eines Neuwagens zusätzlich die Kosten für ein Automatikgetriebe gewährt werden könnten.
3.2.
3.2.1. Der Beschwerdeführer bringt vor, die Feststellung der Vorinstanz, wonach er für den Arbeitsweg einen Behindertentransport des Vereins Behinderten-Busse G._ in Anspruch nehmen könne, sei offensichtlich unrichtig. Denn Fahrten für berufliche Bedürfnisse würden nur ausnahmsweise durchgeführt, weshalb dieses Transportmittel nicht regelmässig zur Verfügung stünde. Seine entsprechende Anfrage habe der Verein bereits abschlägig beantwortet.
3.2.2. Weiter rügt der Beschwerdeführer eine Verletzung von <ref-law> und Ziff. 10.05 Anhang HVI. Das Überschreiten der Kostenlimite von Fr. 25'000.- erfordere gemäss Rz. 2098 KHMI eine besondere Begründung (vgl. E. 2.3 hiervor). Konkret sei zutreffend, dass es für ein eigenständiges Führen des Fahrzeugs keine günstigere Alternative für einen Fahrzeugumbau gebe. Im Unterschied zu den im vorinstanzlichen Entscheid zitierten Urteilen 9C_308/2014 vom 19. Mai 2014 und <ref-ruling> diene der vorliegend beantragte Fahrzeugumbau einem Eingliederungszweck nach <ref-law>. Anders als die Versicherten in den soeben genannten Fällen sei er erwerbsfähig und gehe einer Arbeitstätigkeit in einem 50%igen-Pensum nach, womit er ein Jahreseinkommen von Fr. 43'000.- erziele. Die Zeitersparnis pro Arbeitstag betrage 70 Minuten. Dieser Zeitgewinn sei für ihn als Tetraplegiker besonders wertvoll, da die alltäglichen Lebensverrichtungen, die aufwändige Grund- und Behandlungspflege, das Verrichten der Notdurft und die Therapien sehr viel Zeit in Anspruch nehmen würden. Daher wirke der Zeitgewinn einer mittelfristigen Dekompensation entgegen bzw. begünstige eine längerfristige Arbeitstätigkeit in diesem Umfang. Überdies sei er bei schlechtem Wetter, namentlich bei Nässe, auf Dritthilfe angewiesen. Einen Regenschutz könne er nicht selbstständig anziehen. Das kantonale Gericht habe zutreffend erkannt, dass er durch den Fahrzeugumbau nicht nur den Arbeitsweg vollständig selbstständig zurücklegen könne, sondern dadurch auch in der Lage wäre, die übrigen Termine selbstständig wahrzunehmen (Arzttermine, Therapien, Einkäufe, Tätigkeit als Handballtrainer). Das Hilfsmittel sei daher nicht nur in beruflicher, sondern auch in sozialer Hinsicht für die Fortbewegung, die Herstellung des Kontaktes mit der Umwelt sowie für die Selbstsorge gemäss <ref-law> erforderlich. Dies rechtfertige ein Abweichen von der Kostenlimite gemäss Rz. 2098 KHMI.
3.2.3. Mit Eventualbegehren macht der Beschwerdeführer eine Verletzung von <ref-law> und Ziff. 10.05 des Anhangs HVI geltend. Die Vorinstanz habe eine Kostengutsprache in der Höhe von Fr. 25'000.- explizit bejaht und die Beschwerdegegnerin angehalten, zusätzlich einen Beitrag von Fr. 1300.- an ein Automatikgetriebe zu prüfen. Es sei nicht nachvollziehbar, weshalb die Vorinstanz die Beschwerde nicht teilweise gutgeheissen und die Beschwerdegegnerin zur Kostenübernahme in der Höhe von Fr. 25'000.- für invaliditätsbedingte Abänderungen von Motorfahrzeugen sowie zu einem Kostenbeitrag in der Höhe von Fr. 1300.- für ein Automatikgetriebe verpflichtet habe. Damit verbunden hätten der Beschwerdegegnerin die Gerichtskosten auferlegt und ihm eine Parteientschädigung zugesprochen werden müssen. Die Voraussetzungen gemäss Ziff. 10.05 Anhang HVI erfülle er unbestrittenermassen.
4.
4.1. Unbestritten ist, dass gemäss Rz. 2098 KHMI bei Abänderungskosten von mehr als Fr. 25'000.- in der Regel nicht mehr von einer einfachen und zweckmässigen Versorgung ausgegangen werden kann, weshalb nur eine besondere Begründung es rechtfertigt, hiervon abzuweichen (E. 2.2 f. hiervor). In Frage steht, ob die Eingliederungsmassnahme in einem vernünftigen Verhältnis zu den Kosten steht. Einzig bezüglich dieses Teilaspekts der Verhältnismässigkeit, insbesondere der wirtschaftlich-finanziellen Angemessenheit, gehen die Ansichten der Parteien auseinander.
4.2. Die Rügen des Beschwerdeführers vermögen keine Bundesrechtsverletzung des kantonalen Gerichts zu begründen. Dieses hat in nicht zu beanstandender Weise dargelegt, dass die gesamten Umbaukosten von mehr als das Sechsfache der Kostenlimite von Fr. 25'000.- in der Höhe von Fr. 153'770.80 das Erfordernis der finanziellen Angemessenheit nicht mehr erfüllen, da die veranschlagten Gesamtkosten des Fahrzeugumbaus nicht mehr in einem vernünftigen Verhältnis zum zu erwartenden Eingliederungserfolg stünden und daher mit dem Grundsatz der Verhältnismässigkeit nicht zu vereinbaren seien. In tatsächlicher Hinsicht ist dabei unbestritten, dass kein günstigerer Umbau machbar wäre. Fest steht ebenso, dass dem Beschwerdeführer grundsätzlich möglich und (aus ärztlicher Sicht) zumutbar ist, den Arbeitsweg von Frauenfeld nach Zürich mit dem öffentlichen Verkehr zurückzulegen. Denn gemäss vorinstanzlicher Feststellung benutzt er aktuell den Zug und pendelte bereits während seines Studiums und eines Praktikums zwischen Frauenfeld und Winterthur.
Es verletzt des Weiteren kein Bundesrecht, wenn die Vorinstanz in eingehender und umfassender Auseinandersetzung mit den Vorzügen der selbstständigen Fortbewegung mit einem eigenen Fahrzeug die Benutzung des öffentlichen Verkehrs sowohl unter Einbezug der Zeitersparnis (70 Minuten pro Arbeitstag) als auch mit Blick auf die je nach Witterung nötige Hilfe Dritter nicht als unverhältnismässig qualifizierte. Dass die Benutzung eines eigenen Fahrzeugs dabei die bestmögliche Variante ist hinsichtlich Autonomie beim Zurücklegen des Arbeitswegs und bei den übrigen ausserhäuslichen Tätigkeiten wie Arztbesuche, Therapien, Einkäufe und Handballtraining, wird nicht in Abrede gestellt, nur lässt sie sich mit dem Grundsatz der Verhältnismässigkeit nicht mehr vereinbaren, wie die Vorinstanz bundesrechtskonform erkannte. Daran ändert nichts, dass dem Beschwerdeführer insoweit zuzustimmen ist, als die Feststellung der Vorinstanz bezüglich der Transportmöglichkeit zur Arbeit durch den Verein für Behinderten-Busse in der Tat offensichtlich unrichtig ist, soweit sie auf diese Möglichkeit im Zusammenhang mit dem Absolvieren des Arbeitswegs als Alternative zum Zug hinwies. Da im bisherigen Verfahren - wie der Beschwerdeführer zutreffend geltend macht - dies nie Thema (und auch nicht mit entsprechenden Weiterungen zu rechnen) war, hat der angefochtene Entscheid Anlass zum Vorbringen neuer Tatsachen und Beweismittel gegeben (vgl. E. 1.2 hiervor), sodass der letztinstanzlich beigebrachte Ausdruck der Internet-Homepage des Vereins demzufolge als zulässiges unechtes Novum zu den Akten zu nehmen ist. Hieraus ergibt sich, dass der Beschwerdeführer für das Zurücklegen des Arbeitswegs auf dieses Transportmittel nicht regelmässig zurückgreifen könnte. Nichts zu seinen Gunsten abzuleiten vermag der Beschwerdeführer schliesslich aus dem Umstand, dass das Fahrzeug zur Bewältigung des Arbeitswegs dienen soll und sich daher von denjenigen Sachverhalten, die den Urteilen 9C_308/2014 vom 19. Mai 2014 und <ref-ruling> zugrunde liegen, unterscheidet. Wie in E. 2.3 ausgeführt, ist für den Anspruch auf Abänderungen von Motorfahrzeugen keine erwerbliche Ausrichtung vorausgesetzt. Auch wenn erwerbliche Aspekte unter dem Titel "besondere Begründung" gemäss Rz. 2098 KHMI nicht zwingend von vornherein ausser Acht fallen müssen, lässt sich hieraus für den vorliegenden Fall nichts gewinnen. Im Einklang mit der in seiner Stellungnahme vom 18. Januar 2021 geäusserten Ansicht des BSV ist die beantragte Massnahme nicht mehr als einfach, zweckmässig und wirtschaftlich zu beurteilen. Die Vorinstanz hat daher die finanzielle Verhältnismässigkeit einer Kostenübernahme von Fr. 153'770.80 zu Recht verneint.
4.3. Nach dem Gesagten hat der Beschwerdeführer keinen Anspruch auf Übernahme der gesamten anbegehrten Kosten für den Fahrzeugumbau zulasten der Invalidenversicherung, weil die behinderungsbedingten Fahrzeuganpassungen in ihrer Gesamtheit nicht mehr als wirtschaftlich-finanziell angemessen gelten können.
Nachdem sich der Streit einzig um diesen wirtschaftlich-finanziellen Teilaspekt der Verhältnismässigkeit dreht, ist es des Weiteren nicht zu beanstanden, wenn die Vorinstanz die IV-Stelle darauf behaftete, die Abänderungskosten von Fr. 25'000.- zu übernehmen, sofern der Beschwerdeführer die geplanten Fahrzeuganpassungen tatsächlich vornehmen sollte, was - gemäss den Feststellungen im angefochtenen Entscheid - bis dahin noch nicht feststand. Dass die Vorinstanz die Beschwerdegegnerin überdies dazu verhielt, bei der Anschaffung eines Neuwagens zusätzlich die Gewährung von Fr. 1300.- für das Automatikgetriebe des VW Bus T6 TDi Automatik zu prüfen, hält vor Bundesrecht ebenfalls stand (vgl. Ziff. 10.05 HVI-Anhang). Damit hat es beim angefochtenen Entscheid sein Bewenden.
5.
Dem Verfahrensausgang entsprechend trägt der Beschwerdeführer die Verfahrenskosten (<ref-law>).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen.
2.
Die Gerichtskosten von Fr. 500.- werden dem Beschwerdeführer auferlegt.
3.
Dieses Urteil wird den Parteien, dem Verwaltungsgericht des Kantons Graubünden und dem Bundesamt für Sozialversicherungen schriftlich mitgeteilt.
Luzern, 22. Februar 2021
Im Namen der I. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Maillard
Die Gerichtsschreiberin: Polla


facts:
Sachverhalt:
Die Schuldner A.A._ und B.A._ reichten beim Bezirksgericht Dietikon im Zusammenhang mit Forderungen, welche durch ihre Liegenschaft C._ in U._ grundpfandgesichert sind, am 4. Dezember 2018 Aberkennungsklage ein.
Die Kostenvorschussverfügung über Fr. 30'750.-- blieb unangefochten. Indes stellten sie ein Gesuch um unentgeltliche Rechtspflege, welches mit Beschluss vom 23. Januar 2019 abgewiesen wurde, unter Ansetzung einer Nachfrist zur Bezahlung des Kostenvorschusses. Dieser Beschluss blieb wiederum unangefochten.
Indes stellte das Ehepaar ein neues Gesuch um unentgeltliche Rechtspflege, in welchem sie auch um Abnahme der Nachfrist ersuchten. Mit Beschluss vom 15. Februar 2019 trat das Bezirksgericht unter Abweisung des zweiten Gesuches um unentgeltliche Rechtspflege auf die Aberkennungsklage nicht ein.
Gegen die zweite Abweisung der unentgeltlichen Rechtspflege erhoben die Ehegatten je eine Beschwerde, welche das Obergericht des Kantons Zürich mit Urteilen vom 24. Mai 2019 abwies.
Gegen den Nichteintretensbeschluss erhoben sie je eine Berufung, welche das Obergericht mit (identischen) Urteilen vom 18. November 2019 abwies, soweit es darauf eintrat.
Gegen die Berufungsurteile haben die Ehegatten am 30. Dezember 2019 je eine (identische) Beschwerde beim Bundesgericht erhoben. Für A.A._ Schmid wurde das Verfahren 4A_626/2019 und für B.A._ das Verfahren 4A_628/2019 eröffnet. Als sich nach der Instruktion erwies, dass die Aberkennungsklagen eine in den Zuständigkeitsbereich der II. zivilrechtlichen Abteilung fallende Materie betreffen, wurde den Verfahren neu die Geschäftsnummer 5A_103/2020 bzw. 5A_104/2020 zugewiesen. Während im Verfahren 5A_104/2020 der Kostenvorschuss geleistet wurde, erfolgte im Verfahren 5A_103/2020 am 4. Februar 2020 ein Gesuch um unentgeltliche Rechtspflege. Sodann wurde in beiden Verfahren ein Gesuch um aufschiebende Wirkung gestellt. Am 5. März 2020 schloss die Gegenpartei diesbezüglich im Verfahren 5A_103/2020 auf Abweisung des Gesuches. In der Sache selbst wurden keine Vernehmlassungen eingeholt.

considerations:
Erwägungen:
1.
Die Beschwerde hat eine Begründung zu enthalten, in welcher in gedrängter Form dargelegt wird, inwiefern der angefochtene Entscheid Recht verletzt (<ref-law>), was eine sachbezogene Auseinandersetzung mit der Begründung des angefochtenen Entscheides erfordert (<ref-ruling> E. 2 S. 116; <ref-ruling> E. 2.4 S. 368).
2.
Das Obergericht hat festgestellt, dass die Kostenvorschussverfügungen unangefochten blieben und über das erste Gesuch um unentgeltliche Rechtspflege bereits im Mai 2019 oberinstanzlich entschieden wurde. Sodann hat es erwogen, dass rechtsprechungsgemäss bis zum Entscheid über die unentgeltliche Rechtspflege kein Nichteintretensentscheid wegen Nichtleistung des Kostenvorschusses ergehen dürfe, dass dies aber nur einmal gelte, weil ansonsten die Kostenvorschussfrist durch stets neue Gesuche unendlich hinausgezögert und damit der Prozess verschleppt werden könnte. Anders verhalte es sich (zufolge bloss formeller Rechtskraft des Entscheides über die unentgeltliche Rechtspflege) einzig bei veränderten Verhältnissen, die jedoch vorliegend nicht gegeben gewesen seien, weil die Vorbringen im zweiten Gesuch, soweit überhaupt neu, die finanziellen Verhältnisse nach wie vor im Unklaren gelassen hätten. Im Übrigen sei die Nachfristansetzung, auf welcher der Nichteintretensentscheid beruhe, von den Beschwerdeführern nicht angefochten worden.
3.
Die Beschwerdeführer setzen sich in ihren Eingaben mit der spezifischen Begründung des Obergerichtes nicht auseinander, sondern kritisieren direkt die Entscheide bzw. Erwägungen des Bezirksgerichtes, was unzulässig ist, weil vor Bundesgericht einzig der oberinstanzliche Entscheid Anfechtungsobjekt bildet (<ref-law>), und wiederholen im Übrigen ihre kantonale Argumentation (Darstellung der Vorgeschichte der Darlehensgewährung; es dürfe kein Nicheintretensentscheid ergehen, solange ein Gesuch um unentgeltliche Rechtspflege hängig sei; erneutes Geltendmachen einer veränderten Sachlage), welche indes an der in E. 2 zusammengefassten Kernerwägung des Obergerichtes vorbeizielt, wonach die finanzielle Situation weiter im Unklaren bleibe und deshalb keine neuen Gesuche unentgeltliche Rechtspflege gestellt werden könnten, welche einen Nichteintretensentscheid zu blockieren vermöchten.
4.
Nach dem Gesagten erweist sich die Beschwerde als offensichtlich nicht hinreichend begründet, weshalb auf sie nicht eingetreten werden kann und der Präsident im vereinfachten Verfahren entscheidet (<ref-law>). Mit dem Entscheid in der Sache ist das Gesuch um aufschiebende Wirkung gegenstandslos.
5.
Angesichts der konkreten Umstände wird auf die Erhebung von Gerichtskosten verzichtet (<ref-law>). Das Gesuch um unentgeltliche Rechtspflege wird damit gegenstandslos. Indes hat der Beschwerdeführer die Gegenpartei für die Stellungnahme zum Gesuch um aufschiebende Wirkung zu entschädigen.

rulings:
Demnach erkennt der Präsident:
1.
Auf die Beschwerde wird nicht eingetreten.
2.
Es werden keine Gerichtskosten erhoben.
3.
Der Beschwerdeführer hat den Beschwerdegegner für das bundesgerichtliche Verfahren mit Fr. 1'000.-- zu entschädigen.
4.
Dieses Urteil wird den Parteien und dem Obergericht des Kantons Zürich, I. Zivilkammer, schriftlich mitgeteilt.
Lausanne, 12. März 2020
Im Namen der II. zivilrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Herrmann
Der Gerichtsschreiber: Möckli