Tribunal fédéral
Tribunale federale
Tribunal federal
2C 927/2018
Arrêt du 13 novembre 2019
IIe Cour de droit public
Composition
MM. et Mme les Juges fédéraux Seiler, Président,
Zünd, Aubry Girardin, Donzallaz et Haag.
Greffier: M. Tissot-Daguette.
Participants à la procédure
1. A.________,
2. B.B.________,
3. C.B.________,
tous les trois représentés par Me Jean-Claude Perroud et Me Nina Capel, avocats,
recourants,
contre
Société D.________,
représentée par Thierry Zumbach, agent d'affaires breveté,
intimée,
Office fédéral du logement,
représenté par Me Luca Melcarne et Me François Bohnet, avocats.
Objet
Contrôle de loyers; compétence,
recours contre l'arrêt de la Cour II du Tribunal administratif fédéral du 3 septembre 2018 (B-6903/2016).
Faits :
A.
La Société D.________ est une coopérative d'habitation pour le logement du personnel de la Confédération. A.________ loue un appartement, propriété de cette société, depuis le 1 er septembre 1977. B.B.________ et C.B.________ en font de même depuis le 1 er octobre 1999. Le 15 décembre 2014, la Société D.________ a notifié une hausse de loyer aux locataires précités. Le 18 décembre 2014, ceux-ci ont chacun déposé une demande de contrôle de loyer auprès de l'Office fédéral du logement (ci-après: l'Office fédéral) demandant expressément à cette autorité qu'elle statue en premier lieu sur sa compétence.
B.
Par deux décisions incidentes postées le 7 octobre 2016, l'Office fédéral s'est estimé compétent pour statuer en matière de contrôle des loyers des coopératives du personnel de la Confédération. Dans deux actes déposés conjointement le 9 novembre 2016, A.________ d'une part et B.B.________ et C.B.________ d'autre part ont contesté ces décisions incidentes devant le Tribunal administratif fédéral. Celui-ci, après avoir joint les deux causes par décision incidente du 24 mars 2017, a rejeté les recours par arrêt du 3 septembre 2018.
C.
Agissant par la voie du recours en matière de droit public, A.________, ainsi que B.B.________ et C.B.________ demandent au Tribunal fédéral, sous suite de frais et dépens, outre l'effet suspensif, de réformer l'arrêt du Tribunal administratif fédéral du 3 septembre 2018 et de nier la compétence de l'Office fédéral pour connaître du contrôle des loyers des coopératives d'habitation du personnel de la Confédération, en particulier s'agissant de la Société D.________; subsidiairement d'annuler l'arrêt précité et de renvoyer la cause à l'autorité précédente pour nouvelle décision dans le sens des considérants.
Par ordonnance du 14 novembre 2018, le Président de la IIe Cour de droit public du Tribunal fédéral a admis la requête d'effet suspensif.
Le Tribunal administratif fédéral renonce à se déterminer. La Société D.________ et l'Office fédéral concluent tous deux au rejet du recours. Dans des observations complémentaires, A.________, ainsi que B.B.________ et C.B.________, la Société D.________ et l'Office fédéral ont tous confirmé leurs conclusions.
Considérant en droit :
1.
Sur le fond, la contestation concerne le contrôle des loyers de locaux d'habitation en faveur desquels des mesures d'encouragement ont été prises par les pouvoirs publics. Devant le Tribunal fédéral, le litige se résume toutefois à une question de procédure qui porte sur le point savoir si la cause - au fond - ressortit à la compétence de la juridiction administrative ou, comme le veulent les recourants, à celle des tribunaux civils. Dans la mesure où seule se pose la question de savoir si c'est à juste titre que le Tribunal administratif fédéral a jugé que la cause relevait de la juridiction administrative, le Tribunal fédéral examinera ce point dans le cadre du recours en matière de droit public (cf. arrêt 4A 305/2017 du 18 janvier 2018 consid. 1.1, non publié in ATF 144 III 111; ATF 135 III 483 consid. 1.1.1 p. 485 et les références). Pour le surplus, le recours, qui remplit les conditions de forme (art. 42

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 42 Mémoires - 1 Les mémoires doivent être rédigés dans une langue officielle, indiquer les conclusions, les motifs et les moyens de preuve, et être signés. |
|
1 | Les mémoires doivent être rédigés dans une langue officielle, indiquer les conclusions, les motifs et les moyens de preuve, et être signés. |
1bis | Lorsqu'une procédure en matière civile a été menée en anglais devant l'autorité précédente, les mémoires peuvent être rédigés en anglais.15 |
2 | Les motifs doivent exposer succinctement en quoi l'acte attaqué viole le droit. Si le recours n'est recevable que lorsqu'il soulève une question juridique de principe ou qu'il porte sur un cas particulièrement important pour d'autres motifs, il faut exposer en quoi l'affaire remplit la condition exigée.16 17 |
3 | Les pièces invoquées comme moyens de preuve doivent être jointes au mémoire, pour autant qu'elles soient en mains de la partie; il en va de même de la décision attaquée si le mémoire est dirigé contre une décision. |
4 | En cas de transmission électronique, le mémoire doit être muni de la signature électronique qualifiée de la partie ou de son mandataire au sens de la loi du 18 mars 2016 sur la signature électronique18. Le Tribunal fédéral détermine dans un règlement: |
a | le format du mémoire et des pièces jointes; |
b | les modalités de la transmission; |
c | les conditions auxquelles il peut exiger, en cas de problème technique, que des documents lui soient adressés ultérieurement sur papier.19 |
5 | Si la signature de la partie ou de son mandataire, la procuration ou les annexes prescrites font défaut, ou si le mandataire n'est pas autorisé, le Tribunal fédéral impartit un délai approprié à la partie pour remédier à l'irrégularité et l'avertit qu'à défaut le mémoire ne sera pas pris en considération. |
6 | Si le mémoire est illisible, inconvenant, incompréhensible ou prolixe ou qu'il n'est pas rédigé dans une langue officielle, le Tribunal fédéral peut le renvoyer à son auteur; il impartit à celui-ci un délai approprié pour remédier à l'irrégularité et l'avertit qu'à défaut le mémoire ne sera pas pris en considération. |
7 | Le mémoire de recours introduit de manière procédurière ou à tout autre égard abusif est irrecevable. |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 100 Recours contre une décision - 1 Le recours contre une décision doit être déposé devant le Tribunal fédéral dans les 30 jours qui suivent la notification de l'expédition complète. |
|
1 | Le recours contre une décision doit être déposé devant le Tribunal fédéral dans les 30 jours qui suivent la notification de l'expédition complète. |
2 | Le délai de recours est de dix jours contre: |
a | les décisions d'une autorité cantonale de surveillance en matière de poursuite pour dettes et de faillite; |
b | les décisions en matière d'entraide pénale internationale et d'assistance administrative internationale en matière fiscale; |
c | les décisions portant sur le retour d'un enfant fondées sur la Convention européenne du 20 mai 1980 sur la reconnaissance et l'exécution des décisions en matière de garde des enfants et le rétablissement de la garde des enfants93 ou sur la Convention du 25 octobre 1980 sur les aspects civils de l'enlèvement international d'enfants94. |
d | les décisions du Tribunal fédéral des brevets concernant l'octroi d'une licence visée à l'art. 40d de la loi du 25 juin 1954 sur les brevets96. |
3 | Le délai de recours est de cinq jours contre: |
a | les décisions d'une autorité cantonale de surveillance en matière de poursuite pour effets de change; |
b | les décisions d'un gouvernement cantonal sur recours concernant des votations fédérales. |
4 | Le délai de recours est de trois jours contre les décisions d'un gouvernement cantonal sur recours touchant aux élections au Conseil national. |
5 | En matière de recours pour conflit de compétence entre deux cantons, le délai de recours commence à courir au plus tard le jour où chaque canton a pris une décision pouvant faire l'objet d'un recours devant le Tribunal fédéral. |
6 | ...97 |
7 | Le recours pour déni de justice ou retard injustifié peut être formé en tout temps. |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 89 Qualité pour recourir - 1 A qualité pour former un recours en matière de droit public quiconque: |
|
1 | A qualité pour former un recours en matière de droit public quiconque: |
a | a pris part à la procédure devant l'autorité précédente ou a été privé de la possibilité de le faire; |
b | est particulièrement atteint par la décision ou l'acte normatif attaqué, et |
c | a un intérêt digne de protection à son annulation ou à sa modification. |
2 | Ont aussi qualité pour recourir: |
a | la Chancellerie fédérale, les départements fédéraux ou, pour autant que le droit fédéral le prévoie, les unités qui leur sont subordonnées, si l'acte attaqué est susceptible de violer la législation fédérale dans leur domaine d'attributions; |
b | l'organe compétent de l'Assemblée fédérale en matière de rapports de travail du personnel de la Confédération; |
c | les communes et les autres collectivités de droit public qui invoquent la violation de garanties qui leur sont reconnues par la constitution cantonale ou la Constitution fédérale; |
d | les personnes, organisations et autorités auxquelles une autre loi fédérale accorde un droit de recours. |
3 | En matière de droits politiques (art. 82, let. c), quiconque a le droit de vote dans l'affaire en cause a qualité pour recourir. |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 83 Exceptions - Le recours est irrecevable contre: |
|
a | les décisions concernant la sûreté intérieure ou extérieure du pays, la neutralité, la protection diplomatique et les autres affaires relevant des relations extérieures, à moins que le droit international ne confère un droit à ce que la cause soit59 jugée par un tribunal; |
b | les décisions relatives à la naturalisation ordinaire; |
c | les décisions en matière de droit des étrangers qui concernent: |
c1 | l'entrée en Suisse, |
c2 | une autorisation à laquelle ni le droit fédéral ni le droit international ne donnent droit, |
c3 | l'admission provisoire, |
c4 | l'expulsion fondée sur l'art. 121, al. 2, de la Constitution ou le renvoi, |
c5 | les dérogations aux conditions d'admission, |
c6 | la prolongation d'une autorisation frontalière, le déplacement de la résidence dans un autre canton, le changement d'emploi du titulaire d'une autorisation frontalière et la délivrance de documents de voyage aux étrangers sans pièces de légitimation; |
d | les décisions en matière d'asile qui ont été rendues: |
d1 | par le Tribunal administratif fédéral, sauf celles qui concernent des personnes visées par une demande d'extradition déposée par l'État dont ces personnes cherchent à se protéger, |
d2 | par une autorité cantonale précédente et dont l'objet porte sur une autorisation à laquelle ni le droit fédéral ni le droit international ne donnent droit; |
e | les décisions relatives au refus d'autoriser la poursuite pénale de membres d'autorités ou du personnel de la Confédération; |
f | les décisions en matière de marchés publics: |
fbis | les décisions du Tribunal administratif fédéral concernant les décisions visées à l'art. 32i de la loi fédérale du 20 mars 2009 sur le transport de voyageurs66; |
f1 | si elles ne soulèvent pas de question juridique de principe; sont réservés les recours concernant des marchés du Tribunal administratif fédéral, du Tribunal pénal fédéral, du Tribunal fédéral des brevets, du Ministère public de la Confédération et des autorités judiciaires supérieures des cantons, ou |
f2 | si la valeur estimée du marché à adjuger est inférieure à la valeur seuil déterminante visée à l'art. 52, al. 1, et fixée à l'annexe 4, ch. 2, de la loi fédérale du 21 juin 2019 sur les marchés publics64; |
g | les décisions en matière de rapports de travail de droit public qui concernent une contestation non pécuniaire, sauf si elles touchent à la question de l'égalité des sexes; |
h | les décisions en matière d'entraide administrative internationale, à l'exception de l'assistance administrative en matière fiscale; |
i | les décisions en matière de service militaire, de service civil ou de service de protection civile; |
j | les décisions en matière d'approvisionnement économique du pays qui sont prises en cas de pénurie grave; |
k | les décisions en matière de subventions auxquelles la législation ne donne pas droit; |
l | les décisions en matière de perception de droits de douane fondée sur le classement tarifaire ou le poids des marchandises; |
m | les décisions sur l'octroi d'un sursis de paiement ou sur la remise de contributions; en dérogation à ce principe, le recours contre les décisions sur la remise de l'impôt fédéral direct ou de l'impôt cantonal ou communal sur le revenu et sur le bénéfice est recevable, lorsqu'une question juridique de principe se pose ou qu'il s'agit d'un cas particulièrement important pour d'autres motifs; |
n | les décisions en matière d'énergie nucléaire qui concernent: |
n1 | l'exigence d'un permis d'exécution ou la modification d'une autorisation ou d'une décision, |
n2 | l'approbation d'un plan de provision pour les coûts d'évacuation encourus avant la désaffection d'une installation nucléaire, |
n3 | les permis d'exécution; |
o | les décisions en matière de circulation routière qui concernent la réception par type de véhicules; |
p | les décisions du Tribunal administratif fédéral en matière de télécommunications, de radio et de télévision et en matière postale qui concernent:71 |
p1 | une concession ayant fait l'objet d'un appel d'offres public, |
p2 | un litige découlant de l'art. 11a de la loi du 30 avril 1997 sur les télécommunications72; |
p3 | un litige au sens de l'art. 8 de la loi du 17 décembre 2010 sur la poste74; |
q | les décisions en matière de médecine de transplantation qui concernent: |
q1 | l'inscription sur la liste d'attente, |
q2 | l'attribution d'organes; |
r | les décisions en matière d'assurance-maladie qui ont été rendues par le Tribunal administratif fédéral sur la base de l'art. 3475 de la loi du 17 juin 2005 sur le Tribunal administratif fédéral (LTAF)76; |
s | les décisions en matière d'agriculture qui concernent: |
s1 | ... |
s2 | la délimitation de zones dans le cadre du cadastre de production; |
t | les décisions sur le résultat d'examens ou d'autres évaluations des capacités, notamment en matière de scolarité obligatoire, de formation ultérieure ou d'exercice d'une profession; |
u | les décisions relatives aux offres publiques d'acquisition (art. 125 à 141 de la loi du 19 juin 2015 sur l'infrastructure des marchés financiers80); |
v | les décisions du Tribunal administratif fédéral en cas de divergences d'opinion entre des autorités en matière d'entraide judiciaire ou d'assistance administrative au niveau national; |
w | les décisions en matière de droit de l'électricité qui concernent l'approbation des plans des installations électriques à courant fort et à courant faible et l'expropriation de droits nécessaires à la construction ou à l'exploitation de telles installations, si elles ne soulèvent pas de question juridique de principe. |
x | les décisions en matière d'octroi de contributions de solidarité au sens de la loi fédérale du 30 septembre 2016 sur les mesures de coercition à des fins d'assistance et les placements extrafamiliaux antérieurs à 198184, sauf si la contestation soulève une question juridique de principe ou qu'il s'agit d'un cas particulièrement important pour d'autres motifs; |
y | les décisions prises par le Tribunal administratif fédéral dans des procédures amiables visant à éviter une imposition non conforme à une convention internationale applicable dans le domaine fiscal; |
z | les décisions citées à l'art. 71c, al. 1, let. b, de la loi du 30 septembre 2016 sur l'énergie87 concernant les autorisations de construire et les autorisations relevant de la compétence des cantons destinées aux installations éoliennes d'intérêt national qui y sont nécessairement liées, sauf si la contestation soulève une question juridique de principe. |
fédéral constatant sa compétence pour statuer sur le contrôle des loyers de la société intimée, a été rendu par le Tribunal administratif fédéral (art. 86 al. 1 let. a

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 86 Autorités précédentes en général - 1 Le recours est recevable contre les décisions: |
|
1 | Le recours est recevable contre les décisions: |
a | du Tribunal administratif fédéral; |
b | du Tribunal pénal fédéral; |
c | de l'Autorité indépendante d'examen des plaintes en matière de radio-télévision; |
d | des autorités cantonales de dernière instance, pour autant que le recours devant le Tribunal administratif fédéral ne soit pas ouvert. |
2 | Les cantons instituent des tribunaux supérieurs qui statuent comme autorités précédant immédiatement le Tribunal fédéral, sauf dans les cas où une autre loi fédérale prévoit qu'une décision d'une autre autorité judiciaire peut faire l'objet d'un recours devant le Tribunal fédéral. |
3 | Pour les décisions revêtant un caractère politique prépondérant, les cantons peuvent instituer une autorité autre qu'un tribunal. |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 92 Décisions préjudicielles et incidentes concernant la compétence et les demandes de récusation - 1 Les décisions préjudicielles et incidentes qui sont notifiées séparément et qui portent sur la compétence ou sur une demande de récusation peuvent faire l'objet d'un recours. |
|
1 | Les décisions préjudicielles et incidentes qui sont notifiées séparément et qui portent sur la compétence ou sur une demande de récusation peuvent faire l'objet d'un recours. |
2 | Ces décisions ne peuvent plus être attaquées ultérieurement. |
2.
Dans un premier grief, les recourants se plaignent d'un établissement inexact des faits de la part du Tribunal administratif fédéral.
2.1. Le Tribunal fédéral statue en principe sur la base des faits établis par l'autorité précédente (art. 105 al. 1

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 105 Faits déterminants - 1 Le Tribunal fédéral statue sur la base des faits établis par l'autorité précédente. |
|
1 | Le Tribunal fédéral statue sur la base des faits établis par l'autorité précédente. |
2 | Il peut rectifier ou compléter d'office les constatations de l'autorité précédente si les faits ont été établis de façon manifestement inexacte ou en violation du droit au sens de l'art. 95. |
3 | Lorsque la décision qui fait l'objet d'un recours concerne l'octroi ou le refus de prestations en espèces de l'assurance-accidents ou de l'assurance militaire, le Tribunal fédéral n'est pas lié par les faits établis par l'autorité précédente.100 |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 105 Faits déterminants - 1 Le Tribunal fédéral statue sur la base des faits établis par l'autorité précédente. |
|
1 | Le Tribunal fédéral statue sur la base des faits établis par l'autorité précédente. |
2 | Il peut rectifier ou compléter d'office les constatations de l'autorité précédente si les faits ont été établis de façon manifestement inexacte ou en violation du droit au sens de l'art. 95. |
3 | Lorsque la décision qui fait l'objet d'un recours concerne l'octroi ou le refus de prestations en espèces de l'assurance-accidents ou de l'assurance militaire, le Tribunal fédéral n'est pas lié par les faits établis par l'autorité précédente.100 |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 95 Droit suisse - Le recours peut être formé pour violation: |
|
a | du droit fédéral; |
b | du droit international; |
c | de droits constitutionnels cantonaux; |
d | de dispositions cantonales sur le droit de vote des citoyens ainsi que sur les élections et votations populaires; |
e | du droit intercantonal. |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 97 Établissement inexact des faits - 1 Le recours ne peut critiquer les constatations de fait que si les faits ont été établis de façon manifestement inexacte ou en violation du droit au sens de l'art. 95, et si la correction du vice est susceptible d'influer sur le sort de la cause. |
|
1 | Le recours ne peut critiquer les constatations de fait que si les faits ont été établis de façon manifestement inexacte ou en violation du droit au sens de l'art. 95, et si la correction du vice est susceptible d'influer sur le sort de la cause. |
2 | Si la décision qui fait l'objet d'un recours concerne l'octroi ou le refus de prestations en espèces de l'assurance-accidents ou de l'assurance militaire, le recours peut porter sur toute constatation incomplète ou erronée des faits.90 |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 106 Application du droit - 1 Le Tribunal fédéral applique le droit d'office. |
|
1 | Le Tribunal fédéral applique le droit d'office. |
2 | Il n'examine la violation de droits fondamentaux ainsi que celle de dispositions de droit cantonal et intercantonal que si ce grief a été invoqué et motivé par le recourant. |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 99 - 1 Aucun fait nouveau ni preuve nouvelle ne peut être présenté à moins de résulter de la décision de l'autorité précédente. |
|
1 | Aucun fait nouveau ni preuve nouvelle ne peut être présenté à moins de résulter de la décision de l'autorité précédente. |
2 | Toute conclusion nouvelle est irrecevable. |
2.2. En l'occurrence, les recourants exposent que des faits tendant à démontrer l'absence de contrôle de l'Office fédéral sur leurs loyers ont été omis par l'autorité précédente. Ils font tout d'abord valoir que la recourante 1, depuis la conclusion de son contrat de bail en 1977, s'est vu notifier onze hausses de loyer, sans jamais bénéficier d'une seule baisse, deux des dernières hausses ayant été annoncées au moyen de formules officielles cantonales indiquant les voies de droit civiles. Selon les recourants, une formule officielle indiquant des voies de droit civiles a également été notifiée aux recourants 2 et 3 lors de l'annonce de la dernière augmentation de loyer. Ils estiment que ces indications démontrent l'absence de contrôle étatique et soulignent par ailleurs ne jamais avoir été informés de la prétendue nouvelle compétence de l'Office fédéral quant au contrôle des loyers de l'intimée. Ils mentionnent enfin que le Tribunal administratif fédéral n'a pas relevé l'absence totale de contrôle de leurs loyers par l'Office fédéral.
2.3. Selon les recourants, tous ces éléments tendent à démontrer l'absence de contrôle de l'Office fédéral sur les loyers pratiqués par l'intimée. Ils affirment qu'en l'absence d'un tel contrôle, les conditions permettant d'exclure l'application des dispositions du CO relatives à la contestation des loyers abusifs ne sont pas réunies. On ne saurait toutefois les suivre. En effet, la question qui se pose dans la présente procédure est uniquement celle de savoir si l'Office fédéral est compétent pour contrôler les loyers de l'intimée. Savoir si cet office, dans l'éventualité où sa compétence devait être reconnue, contrôle effectivement les loyers ou s'il contrevient éventuellement à ses obligations n'est pas pertinent.
2.4. Dans ces conditions, il convient d'écarter, pour défaut de pertinence, le grief d'établissement inexact des faits. Le Tribunal fédéral vérifiera la correcte application du droit sur la seule base des faits retenus par l'autorité précédente.
3.
Le présent litige concerne la compétence de l'Office fédéral pour contrôler les loyers de l'intimée, qui constitue, selon les faits retenus par l'autorité précédente, une société coopérative d'habitation du personnel de la Confédération créée en application de l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération (RS 10 936), dans sa version en vigueur depuis le 27 janvier 1958 (RO 1958 93; ci-après: arrêté fédéral de 1947).
3.1. Dans l'arrêt entrepris, le Tribunal administratif fédéral a constaté que l'immeuble de l'intimée avait bénéficié de l'aide de la Confédération, en application de l'arrêté fédéral de 1947. Il a ajouté qu'aujourd'hui encore, cet immeuble bénéficie d'une aide publique, jugeant de ce fait que la première conditions de l'art. 253b al. 3

SR 220 Première partie: Dispositions générales Titre premier: De la formation des obligations Chapitre I: Des obligations résultant d'un contrat CO Art. 253b - 1 Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
|
1 | Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
2 | Elles ne s'appliquent pas aux baux d'appartements et de maisons familiales de luxe comprenant six pièces ou plus (cuisine non comprise). |
3 | Les dispositions relatives à la contestation des loyers abusifs ne s'appliquent pas aux locaux d'habitation en faveur desquels des mesures d'encouragement ont été prises par les pouvoirs publics et dont le loyer est soumis au contrôle d'une autorité. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 54 Contrôle des loyers - 1 Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
|
1 | Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
2 | Les locataires peuvent demander un contrôle en tout temps. L'office tente d'obtenir un accord entre les deux parties. Si aucun accord ne peut être dégagé, il rend une décision. |
3 | La procédure devant l'office est gratuite; en cas de procédure abusive, la partie responsable peut être contrainte de prendre à sa charge tout ou partie des frais de procédure. |
4 | Les autorités de conciliation prévues par le code des obligations9 sont compétentes pour contrôler les frais accessoires. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 60 Prêts accordés en vertu de l'ancien droit - Dès l'entrée en vigueur de la présente loi, l'office gère les prêts accordés conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération16. |
3.2. Pour leur part, les recourants sont d'avis que le Tribunal administratif fédéral n'a pas examiné, dans le cadre de l'application de l'art. 253b al. 3

SR 220 Première partie: Dispositions générales Titre premier: De la formation des obligations Chapitre I: Des obligations résultant d'un contrat CO Art. 253b - 1 Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
|
1 | Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
2 | Elles ne s'appliquent pas aux baux d'appartements et de maisons familiales de luxe comprenant six pièces ou plus (cuisine non comprise). |
3 | Les dispositions relatives à la contestation des loyers abusifs ne s'appliquent pas aux locaux d'habitation en faveur desquels des mesures d'encouragement ont été prises par les pouvoirs publics et dont le loyer est soumis au contrôle d'une autorité. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 54 Contrôle des loyers - 1 Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
|
1 | Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
2 | Les locataires peuvent demander un contrôle en tout temps. L'office tente d'obtenir un accord entre les deux parties. Si aucun accord ne peut être dégagé, il rend une décision. |
3 | La procédure devant l'office est gratuite; en cas de procédure abusive, la partie responsable peut être contrainte de prendre à sa charge tout ou partie des frais de procédure. |
4 | Les autorités de conciliation prévues par le code des obligations9 sont compétentes pour contrôler les frais accessoires. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 60 Prêts accordés en vertu de l'ancien droit - Dès l'entrée en vigueur de la présente loi, l'office gère les prêts accordés conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération16. |

SR 101 Constitution fédérale de la Confédération suisse du 18 avril 1999 Cst. Art. 164 Législation - 1 Toutes les dispositions importantes qui fixent des règles de droit doivent être édictées sous la forme d'une loi fédérale. Appartiennent en particulier à cette catégorie les dispositions fondamentales relatives: |
|
1 | Toutes les dispositions importantes qui fixent des règles de droit doivent être édictées sous la forme d'une loi fédérale. Appartiennent en particulier à cette catégorie les dispositions fondamentales relatives: |
a | à l'exercice des droits politiques; |
b | à la restriction des droits constitutionnels; |
c | aux droits et aux obligations des personnes; |
d | à la qualité de contribuable, à l'objet des impôts et au calcul du montant des impôts; |
e | aux tâches et aux prestations de la Confédération; |
f | aux obligations des cantons lors de la mise en oeuvre et de l'exécution du droit fédéral; |
g | à l'organisation et à la procédure des autorités fédérales. |
2 | Une loi fédérale peut prévoir une délégation de la compétence d'édicter des règles de droit, à moins que la Constitution ne l'exclue. |
4.
4.1. A teneur de l'art. 253b al. 3

SR 220 Première partie: Dispositions générales Titre premier: De la formation des obligations Chapitre I: Des obligations résultant d'un contrat CO Art. 253b - 1 Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
|
1 | Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
2 | Elles ne s'appliquent pas aux baux d'appartements et de maisons familiales de luxe comprenant six pièces ou plus (cuisine non comprise). |
3 | Les dispositions relatives à la contestation des loyers abusifs ne s'appliquent pas aux locaux d'habitation en faveur desquels des mesures d'encouragement ont été prises par les pouvoirs publics et dont le loyer est soumis au contrôle d'une autorité. |
Comme l'a déjà jugé le Tribunal fédéral (cf. arrêt 4A 267/2009 du 7 août 2009 consid. 2.2 et les références), l'art. 253b al. 3

SR 220 Première partie: Dispositions générales Titre premier: De la formation des obligations Chapitre I: Des obligations résultant d'un contrat CO Art. 253b - 1 Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
|
1 | Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
2 | Elles ne s'appliquent pas aux baux d'appartements et de maisons familiales de luxe comprenant six pièces ou plus (cuisine non comprise). |
3 | Les dispositions relatives à la contestation des loyers abusifs ne s'appliquent pas aux locaux d'habitation en faveur desquels des mesures d'encouragement ont été prises par les pouvoirs publics et dont le loyer est soumis au contrôle d'une autorité. |

SR 220 Première partie: Dispositions générales Titre premier: De la formation des obligations Chapitre I: Des obligations résultant d'un contrat CO Art. 269 - Les loyers sont abusifs lorsqu'ils permettent au bailleur d'obtenir un rendement excessif de la chose louée ou lorsqu'ils résultent d'un prix d'achat manifestement exagéré. |

SR 220 Première partie: Dispositions générales Titre premier: De la formation des obligations Chapitre I: Des obligations résultant d'un contrat CO Art. 170 - 1 La cession d'une créance comprend les droits de préférence et autres droits accessoires, sauf ceux qui sont inséparables de la personne du cédant. |
|
1 | La cession d'une créance comprend les droits de préférence et autres droits accessoires, sauf ceux qui sont inséparables de la personne du cédant. |
2 | Le cédant est tenu de remettre au cessionnaire le titre de créance et de lui fournir les moyens de preuve existants, ainsi que les renseignements nécessaires pour faire valoir ses droits. |
3 | Les intérêts arriérés sont présumés avoir été cédés avec la créance principale. |

SR 220 Première partie: Dispositions générales Titre premier: De la formation des obligations Chapitre I: Des obligations résultant d'un contrat CO Art. 253b - 1 Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
|
1 | Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
2 | Elles ne s'appliquent pas aux baux d'appartements et de maisons familiales de luxe comprenant six pièces ou plus (cuisine non comprise). |
3 | Les dispositions relatives à la contestation des loyers abusifs ne s'appliquent pas aux locaux d'habitation en faveur desquels des mesures d'encouragement ont été prises par les pouvoirs publics et dont le loyer est soumis au contrôle d'une autorité. |
mécanismes du droit privé s'effacent devant le contrôle d'office par l'autorité administrative, jugé plus incisif. L'art. 253b al. 3

SR 220 Première partie: Dispositions générales Titre premier: De la formation des obligations Chapitre I: Des obligations résultant d'un contrat CO Art. 253b - 1 Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
|
1 | Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
2 | Elles ne s'appliquent pas aux baux d'appartements et de maisons familiales de luxe comprenant six pièces ou plus (cuisine non comprise). |
3 | Les dispositions relatives à la contestation des loyers abusifs ne s'appliquent pas aux locaux d'habitation en faveur desquels des mesures d'encouragement ont été prises par les pouvoirs publics et dont le loyer est soumis au contrôle d'une autorité. |

SR 220 Première partie: Dispositions générales Titre premier: De la formation des obligations Chapitre I: Des obligations résultant d'un contrat CO Art. 253b - 1 Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
|
1 | Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
2 | Elles ne s'appliquent pas aux baux d'appartements et de maisons familiales de luxe comprenant six pièces ou plus (cuisine non comprise). |
3 | Les dispositions relatives à la contestation des loyers abusifs ne s'appliquent pas aux locaux d'habitation en faveur desquels des mesures d'encouragement ont été prises par les pouvoirs publics et dont le loyer est soumis au contrôle d'une autorité. |
4.2. Ainsi que l'a jugé à juste titre l'autorité précédente, l'art. 253b al. 3

SR 220 Première partie: Dispositions générales Titre premier: De la formation des obligations Chapitre I: Des obligations résultant d'un contrat CO Art. 253b - 1 Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
|
1 | Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
2 | Elles ne s'appliquent pas aux baux d'appartements et de maisons familiales de luxe comprenant six pièces ou plus (cuisine non comprise). |
3 | Les dispositions relatives à la contestation des loyers abusifs ne s'appliquent pas aux locaux d'habitation en faveur desquels des mesures d'encouragement ont été prises par les pouvoirs publics et dont le loyer est soumis au contrôle d'une autorité. |
4.3. Il résulte des faits retenus par l'autorité précédente que, pour l'immeuble dans lequel vivent les recourants, l'intimée avait un solde de dette envers la Confédération de 4'760'442 fr. 95 au 13 septembre 2016, correspondant à cinq droits de gage immobilier (quatre cédules hypothécaires et une hypothèque) inscrits entre 1972 et 1993 et concédés sur la base de l'arrêté fédéral de 1947. Il convient par conséquent de constater, à l'instar de l'autorité précédente, que la première condition relative aux mesures d'encouragement est remplie en l'espèce. Les recourants ne le contestent d'ailleurs pas. Est par conséquent uniquement litigieux le point de savoir si la seconde condition, celle relative au contrôle par une autorité, est également donnée. Dans l'affirmative, les dispositions du CO concernant la protection contre les loyers abusifs ne trouveraient pas application à la présente cause et il appartiendrait à l'autorité administrative désignée, à savoir l'Office fédéral, de statuer sur la contestation des loyers des recourants. On ajoutera ici que la question de savoir si cet office contrôle effectivement les loyers, c'est-à-dire s'il exerce concrètement un contrôle, comme semble vouloir l'expliquer les recourants, n'est pas
pertinent. En effet, le point déterminant en l'espèce est uniquement celui de savoir si la compétence de contrôler les loyers pratiqués par l'intimée relève d'une autorité administrative. Par ailleurs, l'arrêt 4P.21/1995 du 13 octobre 1995, que les recourants invoquent à l'appui de leurs motifs, ne leur est d'aucun secours. Cet arrêt a en effet déclaré irrecevable le recours de droit public demandant l'examen du caractère arbitraire de l'application de l'art. 253b al. 3

SR 220 Première partie: Dispositions générales Titre premier: De la formation des obligations Chapitre I: Des obligations résultant d'un contrat CO Art. 253b - 1 Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
|
1 | Les dispositions sur la protection contre les loyers abusifs (art. 269 et s.) s'appliquent par analogie aux baux à ferme non agricoles et aux autres contrats qui visent principalement la cession à titre onéreux de l'usage d'habitations ou de locaux commerciaux. |
2 | Elles ne s'appliquent pas aux baux d'appartements et de maisons familiales de luxe comprenant six pièces ou plus (cuisine non comprise). |
3 | Les dispositions relatives à la contestation des loyers abusifs ne s'appliquent pas aux locaux d'habitation en faveur desquels des mesures d'encouragement ont été prises par les pouvoirs publics et dont le loyer est soumis au contrôle d'une autorité. |
4.4. Par conséquent, pour déterminer si les loyers de l'intimée sont soumis au contrôle d'une autorité administrative, il convient d'examiner les conditions s'appliquant aux gages immobiliers concédés par la Confédération en application de l'arrêté fédéral de 1947.
5.
5.1. L'art. 108

SR 101 Constitution fédérale de la Confédération suisse du 18 avril 1999 Cst. Art. 108 Encouragement de la construction de logements et de l'accession à la propriété - 1 La Confédération encourage la construction de logements ainsi que l'acquisition d'appartements et de maisons familiales destinés à l'usage personnel de particuliers et les activités des maîtres d'ouvrage et des organisations oeuvrant à la construction de logements d'utilité publique. |
|
1 | La Confédération encourage la construction de logements ainsi que l'acquisition d'appartements et de maisons familiales destinés à l'usage personnel de particuliers et les activités des maîtres d'ouvrage et des organisations oeuvrant à la construction de logements d'utilité publique. |
2 | Elle encourage en particulier l'acquisition et l'équipement de terrains en vue de la construction de logements, la rationalisation de la construction, l'abaissement de son coût et l'abaissement du coût du logement. |
3 | Elle peut légiférer sur l'équipement de terrains pour la construction de logements et sur la rationalisation de la construction. |
4 | Ce faisant, elle prend notamment en considération les intérêts des familles et des personnes âgées, handicapées ou dans le besoin. |
5.2. Aux termes de l'art. 3 de l'arrêté fédéral de 1947, à l'effet d'aider des agents ou des groupes d'agents de la Confédération à trouver des appartements, le département des finances et des douanes est autorisé à accorder des prêts hypothécaires de second rang ou des prêts non garantis par gage, ainsi qu'à participer, au nom de la Confédération, à des institutions d'intérêt public ayant pour activité la construction de logements destinés au personnel fédéral.
Cet arrêté fédéral a été abrogé le 1er janvier 1995 par l'arrêté fédéral sur les mesures d'assainissement 1993 adopté par l'Assemblée fédérale (FF 1994 III 884).
5.3. Dès le 1er octobre 2003 est entrée en vigueur la LOG.
Cette loi a pour but d'encourager l'offre de logements pour les ménages à revenu modeste ainsi que l'accession à la propriété (art. 1 al. 1

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 1 But - 1 La présente loi a pour but d'encourager l'offre de logements pour les ménages à revenu modeste ainsi que l'accession à la propriété. |
|
1 | La présente loi a pour but d'encourager l'offre de logements pour les ménages à revenu modeste ainsi que l'accession à la propriété. |
2 | Il est tenu compte en particulier des intérêts des familles, des familles monoparentales, des personnes handicapées, des personnes âgées dans le besoin et des personnes en formation. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 2 Objet - 1 La Confédération encourage la construction, la rénovation et l'acquisition de logements à loyer ou à prix modérés ainsi que l'activité d'organisations oeuvrant à la construction de logements d'utilité publique. |
|
1 | La Confédération encourage la construction, la rénovation et l'acquisition de logements à loyer ou à prix modérés ainsi que l'activité d'organisations oeuvrant à la construction de logements d'utilité publique. |
2 | Elle soutient des formes novatrices de construction et d'habitation ainsi que la rénovation d'ensembles d'habitations. |

SR 101 Constitution fédérale de la Confédération suisse du 18 avril 1999 Cst. Art. 108 Encouragement de la construction de logements et de l'accession à la propriété - 1 La Confédération encourage la construction de logements ainsi que l'acquisition d'appartements et de maisons familiales destinés à l'usage personnel de particuliers et les activités des maîtres d'ouvrage et des organisations oeuvrant à la construction de logements d'utilité publique. |
|
1 | La Confédération encourage la construction de logements ainsi que l'acquisition d'appartements et de maisons familiales destinés à l'usage personnel de particuliers et les activités des maîtres d'ouvrage et des organisations oeuvrant à la construction de logements d'utilité publique. |
2 | Elle encourage en particulier l'acquisition et l'équipement de terrains en vue de la construction de logements, la rationalisation de la construction, l'abaissement de son coût et l'abaissement du coût du logement. |
3 | Elle peut légiférer sur l'équipement de terrains pour la construction de logements et sur la rationalisation de la construction. |
4 | Ce faisant, elle prend notamment en considération les intérêts des familles et des personnes âgées, handicapées ou dans le besoin. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 3 Champ d'application - 1 La présente loi s'applique à tous les types de logements, notamment aux appartements en location ou en propriété et aux maisons individuelles. |
|
1 | La présente loi s'applique à tous les types de logements, notamment aux appartements en location ou en propriété et aux maisons individuelles. |
2 | Elle ne s'applique pas aux résidences secondaires ni aux résidences de vacances. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 3 Champ d'application - 1 La présente loi s'applique à tous les types de logements, notamment aux appartements en location ou en propriété et aux maisons individuelles. |
|
1 | La présente loi s'applique à tous les types de logements, notamment aux appartements en location ou en propriété et aux maisons individuelles. |
2 | Elle ne s'applique pas aux résidences secondaires ni aux résidences de vacances. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 10 Principe - La Confédération encourage l'offre de logements à loyer modéré destinés aux personnes économiquement ou socialement défavorisées. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 21 Réalisation forcée - La réalisation forcée d'un logement en location faisant l'objet d'un prêt ou d'un cautionnement met fin à l'aide fédérale. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 10 Principe - La Confédération encourage l'offre de logements à loyer modéré destinés aux personnes économiquement ou socialement défavorisées. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 19 Durée de l'aide fédérale - 1 L'aide fédérale est accordée pour 25 ans au maximum. |
|
1 | L'aide fédérale est accordée pour 25 ans au maximum. |
2 | Si la réduction d'intérêts consentie sur les prêts n'est plus demandée pendant un certain temps, l'office peut exiger que, dans un délai raisonnable, le mode de financement soit revu et l'aide fédérale supprimée. |
3 | Sur demande, l'aide fédérale peut prendre fin avant terme, avec l'accord de l'office, si les prêts ont été remboursés et que la Confédération, en tant que caution, a été libérée. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 54 Contrôle des loyers - 1 Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
|
1 | Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
2 | Les locataires peuvent demander un contrôle en tout temps. L'office tente d'obtenir un accord entre les deux parties. Si aucun accord ne peut être dégagé, il rend une décision. |
3 | La procédure devant l'office est gratuite; en cas de procédure abusive, la partie responsable peut être contrainte de prendre à sa charge tout ou partie des frais de procédure. |
4 | Les autorités de conciliation prévues par le code des obligations9 sont compétentes pour contrôler les frais accessoires. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 60 Prêts accordés en vertu de l'ancien droit - Dès l'entrée en vigueur de la présente loi, l'office gère les prêts accordés conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération16. |
droit", dispose que, dès l'entrée en vigueur de la LOG, l'Office fédéral gère les prêts accordés conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération.
5.4. L'art. 46 al. 1

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 46 Compétences - 1 Le Conseil fédéral édicte les dispositions d'exécution. |
|
1 | Le Conseil fédéral édicte les dispositions d'exécution. |
2 | L'office est chargé de l'exécution de la présente loi. |
3 | Il en coordonne et harmonise l'exécution avec les cantons, les communes et les organisations oeuvrant à la construction de logements d'utilité publique. |

SR 842.1 Ordonnance du 26 novembre 2003 encourageant le logement à loyer ou à prix modérés (Ordonnance sur le logement, OLOG) - Ordonnance sur le logement OLOG Art. 60 - 1 Le DEFR édicte des dispositions pour les coopératives de construction de logements qui ont bénéficié de prêts conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération20. Il règle notamment la fixation et le contrôle des loyers. |
|
1 | Le DEFR édicte des dispositions pour les coopératives de construction de logements qui ont bénéficié de prêts conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération20. Il règle notamment la fixation et le contrôle des loyers. |
2 | Afin de garantir le maintien de l'affectation pour les terrains faisant l'objet de l'aide fédérale, l'interdiction du changement d'affectation et la restriction du droit d'aliénation seront mentionnées au registre foncier comme restrictions de droit public à la propriété. |
3 | En cas de liquidation de la coopérative de construction de logements ou de vente d'un immeuble faisant l'objet de l'aide fédérale, le produit de la liquidation devra être affecté à la Confédération. |
4 | L'office règle dans le cadre d'un contrat avec la Caisse de pension de la Confédération (PUBLICA) la gestion des prêts hypothécaires accordés aux coopératives de construction de logements de la Confédération à partir des fonds de la Caisse fédérale d'assurance (CFA), aujourd'hui PUBLICA. |
Sur cette base, le Département a arrêté l'ordonnance du DEFR du 19 mai 2004 sur les coopératives d'habitation du personnel de la Confédération (RS 842.18; ci-après: O-DEFR). Le but de cette ordonnance est de régler la gestion des prêts hypothécaires accordés aux coopératives d'habitation du personnel de la Confédération et provenant des moyens mis à disposition par la Confédération ou par la Caisse fédérale de pensions PUBLICA. Elle vise en outre à assurer que ces prêts sont utilisés conformément aux dispositions et que les différentes coopératives sont administrées selon les mêmes principes. Elle permet notamment de garantir que des logements seront mis à disposition à des prix raisonnables et seront loués en priorité aux personnes énumérées à l'art. 4 O-DEFR (c'est-à-dire en particulier aux salariés et anciens salariés de l'Administration fédérale générale et de diverses sociétés; art. 1 al. 1 O-DEFR). Cette ordonnance s'applique notamment aux coopératives qui ont obtenu des prêts en vertu de l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération (art. 2 let. a O-DEFR). Selon l'art. 3 al. 1 O-DEFR, l'Office fédéral est chargé de gérer les prêts accordés aux
coopératives selon l'art. 2 et d'administrer les affaires courantes avec celles-ci. L'art. 9 O-DEFR, intitulé "Contrôle des loyers", prévoit que l'Office fédéral est compétent en matière de contestation de loyer. Il tente de guider les parties vers un accord. Si aucun accord n'est trouvé, il prend une décision (al. 1). Il peut être fait recours contre les décisions de l'Office fédéral auprès du Tribunal administratif fédéral (al. 3).
5.5. Sur le vu des dispositions qui précèdent, il faut donc constater qu'actuellement, l'encouragement de l'offre de logements pour les ménages à revenu modeste est régi par la LOG. Dans cette loi, seul l'art. 60

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 60 Prêts accordés en vertu de l'ancien droit - Dès l'entrée en vigueur de la présente loi, l'office gère les prêts accordés conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération16. |

SR 842.1 Ordonnance du 26 novembre 2003 encourageant le logement à loyer ou à prix modérés (Ordonnance sur le logement, OLOG) - Ordonnance sur le logement OLOG Art. 60 - 1 Le DEFR édicte des dispositions pour les coopératives de construction de logements qui ont bénéficié de prêts conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération20. Il règle notamment la fixation et le contrôle des loyers. |
|
1 | Le DEFR édicte des dispositions pour les coopératives de construction de logements qui ont bénéficié de prêts conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération20. Il règle notamment la fixation et le contrôle des loyers. |
2 | Afin de garantir le maintien de l'affectation pour les terrains faisant l'objet de l'aide fédérale, l'interdiction du changement d'affectation et la restriction du droit d'aliénation seront mentionnées au registre foncier comme restrictions de droit public à la propriété. |
3 | En cas de liquidation de la coopérative de construction de logements ou de vente d'un immeuble faisant l'objet de l'aide fédérale, le produit de la liquidation devra être affecté à la Confédération. |
4 | L'office règle dans le cadre d'un contrat avec la Caisse de pension de la Confédération (PUBLICA) la gestion des prêts hypothécaires accordés aux coopératives de construction de logements de la Confédération à partir des fonds de la Caisse fédérale d'assurance (CFA), aujourd'hui PUBLICA. |
5.6. Les recourants relèvent que l'art. 60

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 60 Prêts accordés en vertu de l'ancien droit - Dès l'entrée en vigueur de la présente loi, l'office gère les prêts accordés conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération16. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 60 Prêts accordés en vertu de l'ancien droit - Dès l'entrée en vigueur de la présente loi, l'office gère les prêts accordés conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération16. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 59 Dispositions transitoires - 1 Les demandes d'aide fédérale qui ont été déposées en vertu de la loi fédérale du 4 octobre 1974 encourageant la construction et l'accession à la propriété de logements (LCAP)15 et qui n'ont pas fait l'objet d'une décision avant l'entrée en vigueur de la présente loi sont traitées selon le nouveau droit. |
|
1 | Les demandes d'aide fédérale qui ont été déposées en vertu de la loi fédérale du 4 octobre 1974 encourageant la construction et l'accession à la propriété de logements (LCAP)15 et qui n'ont pas fait l'objet d'une décision avant l'entrée en vigueur de la présente loi sont traitées selon le nouveau droit. |
2 | Sur présentation d'une demande, l'aide fédérale prévue par la présente loi peut être également accordée pour les logements dont les travaux ont commencé à partir du 1er janvier 2003. |
3 | Les mandats de recherche attribués avant l'entrée en vigueur de la présente loi sont régis par la LCAP. |
4 | Dès l'entrée en vigueur de la présente loi, la Commission fédérale pour la construction de logements prévue à l'art. 55 LCAP est remplacée par la Commission fédérale du logement prévue à l'art. 49 de la présente loi. |
5 | Dès l'entrée en vigueur de la présente loi, les prescriptions sur le contrôle des loyers fixées à l'art. 54 s'appliquent aux litiges survenant dans le cadre de la LCAP. Les litiges portant sur les frais accessoires, qui sont déjà en cours de règlement à l'entrée en vigueur de la présente loi, sont réglés par l'office. |
6 | Dans le cadre de mesures d'assainissement financier, la Confédération peut honorer avant terme les cautionnements qu'elle a accordés pour des immeubles locatifs en vertu de la LCAP et renoncer à son droit de recours en tant que caution si: |
a | cela permet de réduire globalement les risques qu'elle encourt; |
b | les autres créanciers impliqués déclarent un abandon de créance substantiel; |
c | le propriétaire investit de nouveaux moyens pour le financement. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 54 Contrôle des loyers - 1 Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
|
1 | Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
2 | Les locataires peuvent demander un contrôle en tout temps. L'office tente d'obtenir un accord entre les deux parties. Si aucun accord ne peut être dégagé, il rend une décision. |
3 | La procédure devant l'office est gratuite; en cas de procédure abusive, la partie responsable peut être contrainte de prendre à sa charge tout ou partie des frais de procédure. |
4 | Les autorités de conciliation prévues par le code des obligations9 sont compétentes pour contrôler les frais accessoires. |
au principe de la légalité car elles sortent du cadre de la délégation législative.
6.
6.1. Une loi fédérale peut autoriser le pouvoir exécutif ou des organes extérieurs à l'administration, par le biais d'une clause de délégation législative, à édicter des règles de droit (art. 164 al. 2

SR 101 Constitution fédérale de la Confédération suisse du 18 avril 1999 Cst. Art. 164 Législation - 1 Toutes les dispositions importantes qui fixent des règles de droit doivent être édictées sous la forme d'une loi fédérale. Appartiennent en particulier à cette catégorie les dispositions fondamentales relatives: |
|
1 | Toutes les dispositions importantes qui fixent des règles de droit doivent être édictées sous la forme d'une loi fédérale. Appartiennent en particulier à cette catégorie les dispositions fondamentales relatives: |
a | à l'exercice des droits politiques; |
b | à la restriction des droits constitutionnels; |
c | aux droits et aux obligations des personnes; |
d | à la qualité de contribuable, à l'objet des impôts et au calcul du montant des impôts; |
e | aux tâches et aux prestations de la Confédération; |
f | aux obligations des cantons lors de la mise en oeuvre et de l'exécution du droit fédéral; |
g | à l'organisation et à la procédure des autorités fédérales. |
2 | Une loi fédérale peut prévoir une délégation de la compétence d'édicter des règles de droit, à moins que la Constitution ne l'exclue. |

SR 101 Constitution fédérale de la Confédération suisse du 18 avril 1999 Cst. Art. 178 Administration fédérale - 1 Le Conseil fédéral dirige l'administration fédérale. Il assure l'organisation rationnelle de celle-ci et veille à la bonne exécution des tâches qui lui sont confiées. |
|
1 | Le Conseil fédéral dirige l'administration fédérale. Il assure l'organisation rationnelle de celle-ci et veille à la bonne exécution des tâches qui lui sont confiées. |
2 | L'administration fédérale est divisée en départements, dirigés chacun par un membre du Conseil fédéral. |
3 | La loi peut confier des tâches de l'administration à des organismes et à des personnes de droit public ou de droit privé qui sont extérieurs à l'administration fédérale. |
Tribunal fédéral. Dans un tel cas, le Tribunal fédéral ne saurait substituer sa propre appréciation à celle du Conseil fédéral et doit se borner à examiner si l'ordonnance en question sort manifestement du cadre de la délégation législative octroyée à l'autorité exécutive ou si, pour d'autres raisons, elle apparaît contraire à la loi ou à la Constitution fédérale (cf. ATF 140 V 485 consid. 2.3 p. 487 s. et les références).
S'agissant de la sous-délégation, celle-ci n'est pas expressément prévue par la Constitution. Il en est question lorsque le Conseil fédéral délègue une tâche qui lui a été déléguée par la loi à une autorité qui lui est subordonnée. Conformément à l'art. 48 al. 1

SR 172.010 Loi du 21 mars 1997 sur l'organisation du gouvernement et de l'administration (LOGA) - Loi sur l'organisation de l'administration LOGA Art. 48 Pouvoir réglementaire - 1 Le Conseil fédéral peut déléguer aux départements la compétence d'édicter des règles de droit. Il prend en compte la portée de la norme envisagée. |
|
1 | Le Conseil fédéral peut déléguer aux départements la compétence d'édicter des règles de droit. Il prend en compte la portée de la norme envisagée. |
2 | La délégation de telles compétences aux groupements et aux offices n'est autorisée que si une loi fédérale ou un arrêté fédéral de portée générale le permet. |

SR 172.010 Loi du 21 mars 1997 sur l'organisation du gouvernement et de l'administration (LOGA) - Loi sur l'organisation de l'administration LOGA Art. 48 Pouvoir réglementaire - 1 Le Conseil fédéral peut déléguer aux départements la compétence d'édicter des règles de droit. Il prend en compte la portée de la norme envisagée. |
|
1 | Le Conseil fédéral peut déléguer aux départements la compétence d'édicter des règles de droit. Il prend en compte la portée de la norme envisagée. |
2 | La délégation de telles compétences aux groupements et aux offices n'est autorisée que si une loi fédérale ou un arrêté fédéral de portée générale le permet. |
6.2. En l'occurrence, le contrôle des loyers par l'Office fédéral est prévu par l'art. 54

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 54 Contrôle des loyers - 1 Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
|
1 | Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
2 | Les locataires peuvent demander un contrôle en tout temps. L'office tente d'obtenir un accord entre les deux parties. Si aucun accord ne peut être dégagé, il rend une décision. |
3 | La procédure devant l'office est gratuite; en cas de procédure abusive, la partie responsable peut être contrainte de prendre à sa charge tout ou partie des frais de procédure. |
4 | Les autorités de conciliation prévues par le code des obligations9 sont compétentes pour contrôler les frais accessoires. |

SR 842.1 Ordonnance du 26 novembre 2003 encourageant le logement à loyer ou à prix modérés (Ordonnance sur le logement, OLOG) - Ordonnance sur le logement OLOG Art. 60 - 1 Le DEFR édicte des dispositions pour les coopératives de construction de logements qui ont bénéficié de prêts conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération20. Il règle notamment la fixation et le contrôle des loyers. |
|
1 | Le DEFR édicte des dispositions pour les coopératives de construction de logements qui ont bénéficié de prêts conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération20. Il règle notamment la fixation et le contrôle des loyers. |
2 | Afin de garantir le maintien de l'affectation pour les terrains faisant l'objet de l'aide fédérale, l'interdiction du changement d'affectation et la restriction du droit d'aliénation seront mentionnées au registre foncier comme restrictions de droit public à la propriété. |
3 | En cas de liquidation de la coopérative de construction de logements ou de vente d'un immeuble faisant l'objet de l'aide fédérale, le produit de la liquidation devra être affecté à la Confédération. |
4 | L'office règle dans le cadre d'un contrat avec la Caisse de pension de la Confédération (PUBLICA) la gestion des prêts hypothécaires accordés aux coopératives de construction de logements de la Confédération à partir des fonds de la Caisse fédérale d'assurance (CFA), aujourd'hui PUBLICA. |
Dans la mesure où le Conseil fédéral a clairement délégué la compétence au Département de légiférer sur la question du contrôle des loyers de coopératives d'habitation du personnel de la Confédération et que celui-ci a arrêté l'art. 9 O-DEFR, il convient donc tout d'abord d'examiner si le Conseil fédéral était habilité à légiférer (par délégation) sur cette compétence.
6.3. La loi s'interprète en premier lieu selon sa lettre (interprétation littérale). Si le texte n'est pas absolument clair, si plusieurs interprétations sont possibles, il convient de rechercher quelle est la véritable portée de la norme, en la dégageant de tous les éléments à considérer, soit notamment des travaux préparatoires (interprétation historique), du but de la règle, de son esprit, ainsi que des valeurs sur lesquelles elle repose, singulièrement de l'intérêt protégé (interprétation téléologique) ou encore de sa relation avec d'autres dispositions légales (interprétation systématique). Le Tribunal fédéral ne privilégie aucune méthode d'interprétation, mais s'inspire d'un pluralisme pragmatique pour rechercher le sens véritable de la norme; il ne se fonde sur la compréhension littérale du texte que s'il en découle sans ambiguïté une solution matériellement juste (ATF 142 IV 389 consid. 4.3.1 p. 397 et les références).
6.4. L'art. 46 al. 1

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 46 Compétences - 1 Le Conseil fédéral édicte les dispositions d'exécution. |
|
1 | Le Conseil fédéral édicte les dispositions d'exécution. |
2 | L'office est chargé de l'exécution de la présente loi. |
3 | Il en coordonne et harmonise l'exécution avec les cantons, les communes et les organisations oeuvrant à la construction de logements d'utilité publique. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 46 Compétences - 1 Le Conseil fédéral édicte les dispositions d'exécution. |
|
1 | Le Conseil fédéral édicte les dispositions d'exécution. |
2 | L'office est chargé de l'exécution de la présente loi. |
3 | Il en coordonne et harmonise l'exécution avec les cantons, les communes et les organisations oeuvrant à la construction de logements d'utilité publique. |
l'affirmative, de savoir dans quelle mesure.
6.5. Comme déjà indiqué (cf. consid. 5.5 ci-dessus), la LOG, qui a remplacé l'ancienne loi du 19 mars 1965 concernant l'encouragement à la construction de logements (RO 1966 449), ne fait mention de l'arrêté fédéral de 1947 qu'à son art. 60. Celui-ci se limite à prévoir que l'Office fédéral gère les prêts accordés en vertu de l'arrêté précité. La lettre de cette disposition ne fait ainsi référence qu'à une gestion des prêts, c'est-à-dire le rapport de droit public qui existe entre l'Office fédéral et les sociétés coopératives (cf. arrêt 4A 267/2009 du 7 août 2009 consid. 2.2; cf. consid. 4.1 ci-dessus), en l'occurrence l'intimée. L'art. 60

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 60 Prêts accordés en vertu de l'ancien droit - Dès l'entrée en vigueur de la présente loi, l'office gère les prêts accordés conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération16. |
de la Confédération, il convenait de transférer cette tâche à l'Office fédéral. Il a en outre relevé que l'art. 60

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 60 Prêts accordés en vertu de l'ancien droit - Dès l'entrée en vigueur de la présente loi, l'office gère les prêts accordés conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération16. |
6.6. Il convient tout d'abord de rappeler que l'arrêté fédéral de 1947 ne prévoyait rien en relation avec le contrôle des loyers de logements faisant l'objet d'encouragement, dès lors notamment qu'un tel contrôle n'a été introduit dans le CO qu'à la suite de la modification du 15 décembre 1989 (RO 1990 802) qui répondait à une initiative populaire intitulée "pour la protection des locataires" (cf. FF 1989 I 1369). Par conséquent, d'un point de vue temporel, l'art. 54 al. 1

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 54 Contrôle des loyers - 1 Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
|
1 | Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
2 | Les locataires peuvent demander un contrôle en tout temps. L'office tente d'obtenir un accord entre les deux parties. Si aucun accord ne peut être dégagé, il rend une décision. |
3 | La procédure devant l'office est gratuite; en cas de procédure abusive, la partie responsable peut être contrainte de prendre à sa charge tout ou partie des frais de procédure. |
4 | Les autorités de conciliation prévues par le code des obligations9 sont compétentes pour contrôler les frais accessoires. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 60 Prêts accordés en vertu de l'ancien droit - Dès l'entrée en vigueur de la présente loi, l'office gère les prêts accordés conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération16. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 59 Dispositions transitoires - 1 Les demandes d'aide fédérale qui ont été déposées en vertu de la loi fédérale du 4 octobre 1974 encourageant la construction et l'accession à la propriété de logements (LCAP)15 et qui n'ont pas fait l'objet d'une décision avant l'entrée en vigueur de la présente loi sont traitées selon le nouveau droit. |
|
1 | Les demandes d'aide fédérale qui ont été déposées en vertu de la loi fédérale du 4 octobre 1974 encourageant la construction et l'accession à la propriété de logements (LCAP)15 et qui n'ont pas fait l'objet d'une décision avant l'entrée en vigueur de la présente loi sont traitées selon le nouveau droit. |
2 | Sur présentation d'une demande, l'aide fédérale prévue par la présente loi peut être également accordée pour les logements dont les travaux ont commencé à partir du 1er janvier 2003. |
3 | Les mandats de recherche attribués avant l'entrée en vigueur de la présente loi sont régis par la LCAP. |
4 | Dès l'entrée en vigueur de la présente loi, la Commission fédérale pour la construction de logements prévue à l'art. 55 LCAP est remplacée par la Commission fédérale du logement prévue à l'art. 49 de la présente loi. |
5 | Dès l'entrée en vigueur de la présente loi, les prescriptions sur le contrôle des loyers fixées à l'art. 54 s'appliquent aux litiges survenant dans le cadre de la LCAP. Les litiges portant sur les frais accessoires, qui sont déjà en cours de règlement à l'entrée en vigueur de la présente loi, sont réglés par l'office. |
6 | Dans le cadre de mesures d'assainissement financier, la Confédération peut honorer avant terme les cautionnements qu'elle a accordés pour des immeubles locatifs en vertu de la LCAP et renoncer à son droit de recours en tant que caution si: |
a | cela permet de réduire globalement les risques qu'elle encourt; |
b | les autres créanciers impliqués déclarent un abandon de créance substantiel; |
c | le propriétaire investit de nouveaux moyens pour le financement. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 54 Contrôle des loyers - 1 Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
|
1 | Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
2 | Les locataires peuvent demander un contrôle en tout temps. L'office tente d'obtenir un accord entre les deux parties. Si aucun accord ne peut être dégagé, il rend une décision. |
3 | La procédure devant l'office est gratuite; en cas de procédure abusive, la partie responsable peut être contrainte de prendre à sa charge tout ou partie des frais de procédure. |
4 | Les autorités de conciliation prévues par le code des obligations9 sont compétentes pour contrôler les frais accessoires. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 59 Dispositions transitoires - 1 Les demandes d'aide fédérale qui ont été déposées en vertu de la loi fédérale du 4 octobre 1974 encourageant la construction et l'accession à la propriété de logements (LCAP)15 et qui n'ont pas fait l'objet d'une décision avant l'entrée en vigueur de la présente loi sont traitées selon le nouveau droit. |
|
1 | Les demandes d'aide fédérale qui ont été déposées en vertu de la loi fédérale du 4 octobre 1974 encourageant la construction et l'accession à la propriété de logements (LCAP)15 et qui n'ont pas fait l'objet d'une décision avant l'entrée en vigueur de la présente loi sont traitées selon le nouveau droit. |
2 | Sur présentation d'une demande, l'aide fédérale prévue par la présente loi peut être également accordée pour les logements dont les travaux ont commencé à partir du 1er janvier 2003. |
3 | Les mandats de recherche attribués avant l'entrée en vigueur de la présente loi sont régis par la LCAP. |
4 | Dès l'entrée en vigueur de la présente loi, la Commission fédérale pour la construction de logements prévue à l'art. 55 LCAP est remplacée par la Commission fédérale du logement prévue à l'art. 49 de la présente loi. |
5 | Dès l'entrée en vigueur de la présente loi, les prescriptions sur le contrôle des loyers fixées à l'art. 54 s'appliquent aux litiges survenant dans le cadre de la LCAP. Les litiges portant sur les frais accessoires, qui sont déjà en cours de règlement à l'entrée en vigueur de la présente loi, sont réglés par l'office. |
6 | Dans le cadre de mesures d'assainissement financier, la Confédération peut honorer avant terme les cautionnements qu'elle a accordés pour des immeubles locatifs en vertu de la LCAP et renoncer à son droit de recours en tant que caution si: |
a | cela permet de réduire globalement les risques qu'elle encourt; |
b | les autres créanciers impliqués déclarent un abandon de créance substantiel; |
c | le propriétaire investit de nouveaux moyens pour le financement. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 10 Principe - La Confédération encourage l'offre de logements à loyer modéré destinés aux personnes économiquement ou socialement défavorisées. |
faveur des agents ou des groupes d'agents de la Confédération permettent, par l'octroi de prêts hypothécaires de second rang ou de prêts non garantis par gage, d'encourager l'offre de logements. Il s'agit donc justement de mesures d'encouragement au sens de la section 2 précitée, l'art. 11 let. a

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 11 Instruments - Les instruments mis en oeuvre au titre des mesures d'encouragement sont: |
|
a | les prêts sans intérêt ou à taux préférentiel; |
b | les cautionnements. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 59 Dispositions transitoires - 1 Les demandes d'aide fédérale qui ont été déposées en vertu de la loi fédérale du 4 octobre 1974 encourageant la construction et l'accession à la propriété de logements (LCAP)15 et qui n'ont pas fait l'objet d'une décision avant l'entrée en vigueur de la présente loi sont traitées selon le nouveau droit. |
|
1 | Les demandes d'aide fédérale qui ont été déposées en vertu de la loi fédérale du 4 octobre 1974 encourageant la construction et l'accession à la propriété de logements (LCAP)15 et qui n'ont pas fait l'objet d'une décision avant l'entrée en vigueur de la présente loi sont traitées selon le nouveau droit. |
2 | Sur présentation d'une demande, l'aide fédérale prévue par la présente loi peut être également accordée pour les logements dont les travaux ont commencé à partir du 1er janvier 2003. |
3 | Les mandats de recherche attribués avant l'entrée en vigueur de la présente loi sont régis par la LCAP. |
4 | Dès l'entrée en vigueur de la présente loi, la Commission fédérale pour la construction de logements prévue à l'art. 55 LCAP est remplacée par la Commission fédérale du logement prévue à l'art. 49 de la présente loi. |
5 | Dès l'entrée en vigueur de la présente loi, les prescriptions sur le contrôle des loyers fixées à l'art. 54 s'appliquent aux litiges survenant dans le cadre de la LCAP. Les litiges portant sur les frais accessoires, qui sont déjà en cours de règlement à l'entrée en vigueur de la présente loi, sont réglés par l'office. |
6 | Dans le cadre de mesures d'assainissement financier, la Confédération peut honorer avant terme les cautionnements qu'elle a accordés pour des immeubles locatifs en vertu de la LCAP et renoncer à son droit de recours en tant que caution si: |
a | cela permet de réduire globalement les risques qu'elle encourt; |
b | les autres créanciers impliqués déclarent un abandon de créance substantiel; |
c | le propriétaire investit de nouveaux moyens pour le financement. |
ailleurs très limité d'habitations, ne saurait être une solution à préconiser. Ainsi, même si le législateur a expressément prévu deux différentes dispositions pour les prêts octroyés sur la base de la LCAP (art. 59

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 59 Dispositions transitoires - 1 Les demandes d'aide fédérale qui ont été déposées en vertu de la loi fédérale du 4 octobre 1974 encourageant la construction et l'accession à la propriété de logements (LCAP)15 et qui n'ont pas fait l'objet d'une décision avant l'entrée en vigueur de la présente loi sont traitées selon le nouveau droit. |
|
1 | Les demandes d'aide fédérale qui ont été déposées en vertu de la loi fédérale du 4 octobre 1974 encourageant la construction et l'accession à la propriété de logements (LCAP)15 et qui n'ont pas fait l'objet d'une décision avant l'entrée en vigueur de la présente loi sont traitées selon le nouveau droit. |
2 | Sur présentation d'une demande, l'aide fédérale prévue par la présente loi peut être également accordée pour les logements dont les travaux ont commencé à partir du 1er janvier 2003. |
3 | Les mandats de recherche attribués avant l'entrée en vigueur de la présente loi sont régis par la LCAP. |
4 | Dès l'entrée en vigueur de la présente loi, la Commission fédérale pour la construction de logements prévue à l'art. 55 LCAP est remplacée par la Commission fédérale du logement prévue à l'art. 49 de la présente loi. |
5 | Dès l'entrée en vigueur de la présente loi, les prescriptions sur le contrôle des loyers fixées à l'art. 54 s'appliquent aux litiges survenant dans le cadre de la LCAP. Les litiges portant sur les frais accessoires, qui sont déjà en cours de règlement à l'entrée en vigueur de la présente loi, sont réglés par l'office. |
6 | Dans le cadre de mesures d'assainissement financier, la Confédération peut honorer avant terme les cautionnements qu'elle a accordés pour des immeubles locatifs en vertu de la LCAP et renoncer à son droit de recours en tant que caution si: |
a | cela permet de réduire globalement les risques qu'elle encourt; |
b | les autres créanciers impliqués déclarent un abandon de créance substantiel; |
c | le propriétaire investit de nouveaux moyens pour le financement. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 60 Prêts accordés en vertu de l'ancien droit - Dès l'entrée en vigueur de la présente loi, l'office gère les prêts accordés conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération16. |
En résumé, on peut retenir sur la base d'une interprétation de l'art. 60

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 60 Prêts accordés en vertu de l'ancien droit - Dès l'entrée en vigueur de la présente loi, l'office gère les prêts accordés conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération16. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 59 Dispositions transitoires - 1 Les demandes d'aide fédérale qui ont été déposées en vertu de la loi fédérale du 4 octobre 1974 encourageant la construction et l'accession à la propriété de logements (LCAP)15 et qui n'ont pas fait l'objet d'une décision avant l'entrée en vigueur de la présente loi sont traitées selon le nouveau droit. |
|
1 | Les demandes d'aide fédérale qui ont été déposées en vertu de la loi fédérale du 4 octobre 1974 encourageant la construction et l'accession à la propriété de logements (LCAP)15 et qui n'ont pas fait l'objet d'une décision avant l'entrée en vigueur de la présente loi sont traitées selon le nouveau droit. |
2 | Sur présentation d'une demande, l'aide fédérale prévue par la présente loi peut être également accordée pour les logements dont les travaux ont commencé à partir du 1er janvier 2003. |
3 | Les mandats de recherche attribués avant l'entrée en vigueur de la présente loi sont régis par la LCAP. |
4 | Dès l'entrée en vigueur de la présente loi, la Commission fédérale pour la construction de logements prévue à l'art. 55 LCAP est remplacée par la Commission fédérale du logement prévue à l'art. 49 de la présente loi. |
5 | Dès l'entrée en vigueur de la présente loi, les prescriptions sur le contrôle des loyers fixées à l'art. 54 s'appliquent aux litiges survenant dans le cadre de la LCAP. Les litiges portant sur les frais accessoires, qui sont déjà en cours de règlement à l'entrée en vigueur de la présente loi, sont réglés par l'office. |
6 | Dans le cadre de mesures d'assainissement financier, la Confédération peut honorer avant terme les cautionnements qu'elle a accordés pour des immeubles locatifs en vertu de la LCAP et renoncer à son droit de recours en tant que caution si: |
a | cela permet de réduire globalement les risques qu'elle encourt; |
b | les autres créanciers impliqués déclarent un abandon de créance substantiel; |
c | le propriétaire investit de nouveaux moyens pour le financement. |

SR 842 Loi fédérale du 21 mars 2003 encourageant le logement à loyer ou à prix modérés (Loi sur le logement, LOG) - Loi sur le logement LOG Art. 54 Contrôle des loyers - 1 Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
|
1 | Pendant la durée de l'aide fédérale, l'office contrôle les loyers des logements faisant l'objet de mesures d'encouragement relevant de la section 2. |
2 | Les locataires peuvent demander un contrôle en tout temps. L'office tente d'obtenir un accord entre les deux parties. Si aucun accord ne peut être dégagé, il rend une décision. |
3 | La procédure devant l'office est gratuite; en cas de procédure abusive, la partie responsable peut être contrainte de prendre à sa charge tout ou partie des frais de procédure. |
4 | Les autorités de conciliation prévues par le code des obligations9 sont compétentes pour contrôler les frais accessoires. |
6.7. Force est par ailleurs de constater qu'aussi bien l'art. 60 al. 1

SR 842.1 Ordonnance du 26 novembre 2003 encourageant le logement à loyer ou à prix modérés (Ordonnance sur le logement, OLOG) - Ordonnance sur le logement OLOG Art. 60 - 1 Le DEFR édicte des dispositions pour les coopératives de construction de logements qui ont bénéficié de prêts conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération20. Il règle notamment la fixation et le contrôle des loyers. |
|
1 | Le DEFR édicte des dispositions pour les coopératives de construction de logements qui ont bénéficié de prêts conformément à l'arrêté fédéral du 7 octobre 1947 tendant à encourager la construction de logements pour le personnel de la Confédération20. Il règle notamment la fixation et le contrôle des loyers. |
2 | Afin de garantir le maintien de l'affectation pour les terrains faisant l'objet de l'aide fédérale, l'interdiction du changement d'affectation et la restriction du droit d'aliénation seront mentionnées au registre foncier comme restrictions de droit public à la propriété. |
3 | En cas de liquidation de la coopérative de construction de logements ou de vente d'un immeuble faisant l'objet de l'aide fédérale, le produit de la liquidation devra être affecté à la Confédération. |
4 | L'office règle dans le cadre d'un contrat avec la Caisse de pension de la Confédération (PUBLICA) la gestion des prêts hypothécaires accordés aux coopératives de construction de logements de la Confédération à partir des fonds de la Caisse fédérale d'assurance (CFA), aujourd'hui PUBLICA. |
7.
Sur le vu des considérants qui précèdent, le recours est rejeté. Succombant, les recourants doivent supporter les frais judiciaires, solidairement entre eux (art. 66 al. 1

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 66 Recouvrement des frais judiciaires - 1 En règle générale, les frais judiciaires sont mis à la charge de la partie qui succombe. Si les circonstances le justifient, le Tribunal fédéral peut les répartir autrement ou renoncer à les mettre à la charge des parties. |
|
1 | En règle générale, les frais judiciaires sont mis à la charge de la partie qui succombe. Si les circonstances le justifient, le Tribunal fédéral peut les répartir autrement ou renoncer à les mettre à la charge des parties. |
2 | Si une affaire est liquidée par un désistement ou une transaction, les frais judiciaires peuvent être réduits ou remis. |
3 | Les frais causés inutilement sont supportés par celui qui les a engendrés. |
4 | En règle générale, la Confédération, les cantons, les communes et les organisations chargées de tâches de droit public ne peuvent se voir imposer de frais judiciaires s'ils s'adressent au Tribunal fédéral dans l'exercice de leurs attributions officielles sans que leur intérêt patrimonial soit en cause ou si leurs décisions font l'objet d'un recours. |
5 | Sauf disposition contraire, les frais judiciaires mis conjointement à la charge de plusieurs personnes sont supportés par elles à parts égales et solidairement. |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 66 Recouvrement des frais judiciaires - 1 En règle générale, les frais judiciaires sont mis à la charge de la partie qui succombe. Si les circonstances le justifient, le Tribunal fédéral peut les répartir autrement ou renoncer à les mettre à la charge des parties. |
|
1 | En règle générale, les frais judiciaires sont mis à la charge de la partie qui succombe. Si les circonstances le justifient, le Tribunal fédéral peut les répartir autrement ou renoncer à les mettre à la charge des parties. |
2 | Si une affaire est liquidée par un désistement ou une transaction, les frais judiciaires peuvent être réduits ou remis. |
3 | Les frais causés inutilement sont supportés par celui qui les a engendrés. |
4 | En règle générale, la Confédération, les cantons, les communes et les organisations chargées de tâches de droit public ne peuvent se voir imposer de frais judiciaires s'ils s'adressent au Tribunal fédéral dans l'exercice de leurs attributions officielles sans que leur intérêt patrimonial soit en cause ou si leurs décisions font l'objet d'un recours. |
5 | Sauf disposition contraire, les frais judiciaires mis conjointement à la charge de plusieurs personnes sont supportés par elles à parts égales et solidairement. |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 68 Dépens - 1 Le Tribunal fédéral décide, dans son arrêt, si et dans quelle mesure les frais de la partie qui obtient gain de cause sont supportés par celle qui succombe. |
|
1 | Le Tribunal fédéral décide, dans son arrêt, si et dans quelle mesure les frais de la partie qui obtient gain de cause sont supportés par celle qui succombe. |
2 | En règle générale, la partie qui succombe est tenue de rembourser à la partie qui a obtenu gain de cause, selon le tarif du Tribunal fédéral, tous les frais nécessaires causés par le litige. |
3 | En règle générale, aucuns dépens ne sont alloués à la Confédération, aux cantons, aux communes ou aux organisations chargées de tâches de droit public lorsqu'ils obtiennent gain de cause dans l'exercice de leurs attributions officielles. |
4 | L'art. 66, al. 3 et 5, est applicable par analogie. |
5 | Le Tribunal fédéral confirme, annule ou modifie, selon le sort de la cause, la décision de l'autorité précédente sur les dépens. Il peut fixer lui-même les dépens d'après le tarif fédéral ou cantonal applicable ou laisser à l'autorité précédente le soin de les fixer. |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 68 Dépens - 1 Le Tribunal fédéral décide, dans son arrêt, si et dans quelle mesure les frais de la partie qui obtient gain de cause sont supportés par celle qui succombe. |
|
1 | Le Tribunal fédéral décide, dans son arrêt, si et dans quelle mesure les frais de la partie qui obtient gain de cause sont supportés par celle qui succombe. |
2 | En règle générale, la partie qui succombe est tenue de rembourser à la partie qui a obtenu gain de cause, selon le tarif du Tribunal fédéral, tous les frais nécessaires causés par le litige. |
3 | En règle générale, aucuns dépens ne sont alloués à la Confédération, aux cantons, aux communes ou aux organisations chargées de tâches de droit public lorsqu'ils obtiennent gain de cause dans l'exercice de leurs attributions officielles. |
4 | L'art. 66, al. 3 et 5, est applicable par analogie. |
5 | Le Tribunal fédéral confirme, annule ou modifie, selon le sort de la cause, la décision de l'autorité précédente sur les dépens. Il peut fixer lui-même les dépens d'après le tarif fédéral ou cantonal applicable ou laisser à l'autorité précédente le soin de les fixer. |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 68 Dépens - 1 Le Tribunal fédéral décide, dans son arrêt, si et dans quelle mesure les frais de la partie qui obtient gain de cause sont supportés par celle qui succombe. |
|
1 | Le Tribunal fédéral décide, dans son arrêt, si et dans quelle mesure les frais de la partie qui obtient gain de cause sont supportés par celle qui succombe. |
2 | En règle générale, la partie qui succombe est tenue de rembourser à la partie qui a obtenu gain de cause, selon le tarif du Tribunal fédéral, tous les frais nécessaires causés par le litige. |
3 | En règle générale, aucuns dépens ne sont alloués à la Confédération, aux cantons, aux communes ou aux organisations chargées de tâches de droit public lorsqu'ils obtiennent gain de cause dans l'exercice de leurs attributions officielles. |
4 | L'art. 66, al. 3 et 5, est applicable par analogie. |
5 | Le Tribunal fédéral confirme, annule ou modifie, selon le sort de la cause, la décision de l'autorité précédente sur les dépens. Il peut fixer lui-même les dépens d'après le tarif fédéral ou cantonal applicable ou laisser à l'autorité précédente le soin de les fixer. |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 68 Dépens - 1 Le Tribunal fédéral décide, dans son arrêt, si et dans quelle mesure les frais de la partie qui obtient gain de cause sont supportés par celle qui succombe. |
|
1 | Le Tribunal fédéral décide, dans son arrêt, si et dans quelle mesure les frais de la partie qui obtient gain de cause sont supportés par celle qui succombe. |
2 | En règle générale, la partie qui succombe est tenue de rembourser à la partie qui a obtenu gain de cause, selon le tarif du Tribunal fédéral, tous les frais nécessaires causés par le litige. |
3 | En règle générale, aucuns dépens ne sont alloués à la Confédération, aux cantons, aux communes ou aux organisations chargées de tâches de droit public lorsqu'ils obtiennent gain de cause dans l'exercice de leurs attributions officielles. |
4 | L'art. 66, al. 3 et 5, est applicable par analogie. |
5 | Le Tribunal fédéral confirme, annule ou modifie, selon le sort de la cause, la décision de l'autorité précédente sur les dépens. Il peut fixer lui-même les dépens d'après le tarif fédéral ou cantonal applicable ou laisser à l'autorité précédente le soin de les fixer. |

SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire LTF Art. 68 Dépens - 1 Le Tribunal fédéral décide, dans son arrêt, si et dans quelle mesure les frais de la partie qui obtient gain de cause sont supportés par celle qui succombe. |
|
1 | Le Tribunal fédéral décide, dans son arrêt, si et dans quelle mesure les frais de la partie qui obtient gain de cause sont supportés par celle qui succombe. |
2 | En règle générale, la partie qui succombe est tenue de rembourser à la partie qui a obtenu gain de cause, selon le tarif du Tribunal fédéral, tous les frais nécessaires causés par le litige. |
3 | En règle générale, aucuns dépens ne sont alloués à la Confédération, aux cantons, aux communes ou aux organisations chargées de tâches de droit public lorsqu'ils obtiennent gain de cause dans l'exercice de leurs attributions officielles. |
4 | L'art. 66, al. 3 et 5, est applicable par analogie. |
5 | Le Tribunal fédéral confirme, annule ou modifie, selon le sort de la cause, la décision de l'autorité précédente sur les dépens. Il peut fixer lui-même les dépens d'après le tarif fédéral ou cantonal applicable ou laisser à l'autorité précédente le soin de les fixer. |
Par ces motifs, le Tribunal fédéral prononce :
1.
Le recours est rejeté.
2.
Les frais judiciaires, arrêtés à 2'000 fr., sont mis à la charge des recourants, solidairement entre eux.
3.
Les recourants, débiteurs solidaires, verseront à l'intimée une indemnité de 2'000 fr. à titre de dépens.
4.
Le présent arrêt est communiqué aux mandataires des recourants, de l'intimée et de l'Office fédéral du logement, ainsi qu'à la Cour II du Tribunal administratif fédéral.
Lausanne, le 13 novembre 2019
Au nom de la IIe Cour de droit public
du Tribunal fédéral suisse
Le Président : Seiler
Le Greffier : Tissot-Daguette