diff --git a/examples/allocations_logement/arrete_2019-09-27.catala_fr b/examples/allocations_logement/arrete_2019-09-27.catala_fr
index 51727096..e5929cad 100644
--- a/examples/allocations_logement/arrete_2019-09-27.catala_fr
+++ b/examples/allocations_logement/arrete_2019-09-27.catala_fr
@@ -3098,7 +3098,8 @@ champ d'application CalculAllocationLogementAccessionPropriété:
 champ d'application CalculAllocationLogementAccessionPropriété sous condition
   date_courante >=@ |2020-01-01|:
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |1992-07-01| et date_calcul <@ |1994-07-01|
   conséquence égal à
     (selon zone sous forme
@@ -3143,7 +3144,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
     ) *€ taux_francs_vers_euros
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |1994-07-01| et date_calcul <@ |1997-07-01|
   conséquence égal à
     (selon zone sous forme
@@ -3188,7 +3190,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
     ) *€ taux_francs_vers_euros
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |1997-07-01| et date_calcul <@ |1998-07-01|
   conséquence égal à
     (selon zone sous forme
@@ -3233,7 +3236,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
     ) *€ taux_francs_vers_euros
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |1998-07-01| et date_calcul <@ |1999-07-01|
   conséquence égal à
     (selon zone sous forme
@@ -3278,7 +3282,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
     ) *€ taux_francs_vers_euros
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |1999-07-01| et date_calcul <@ |2000-07-01|
   conséquence égal à
     (selon zone sous forme
@@ -3323,7 +3328,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
     ) *€ taux_francs_vers_euros
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2000-07-01| et date_calcul <@ |2001-07-01|
   conséquence égal à
     (selon zone sous forme
@@ -3368,7 +3374,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
     ) *€ taux_francs_vers_euros
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2001-07-01| et date_calcul <@ |2002-01-01|
   conséquence égal à
     (selon zone sous forme
@@ -3413,7 +3420,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
     ) *€ taux_francs_vers_euros
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2002-01-01| et date_calcul <@ |2002-07-01|
   conséquence égal à
     selon zone sous forme
@@ -3457,7 +3465,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (343,01€ +€ 29,73€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2002-07-01| et date_calcul <@ |2003-07-01|
   conséquence égal à
     selon zone sous forme
@@ -3503,7 +3512,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (347,13€ +€ 30,09€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2003-07-01| et date_calcul <@ |2005-09-01|
   conséquence égal à
     selon zone sous forme
@@ -3547,7 +3557,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (351,30€ +€ 30,45€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2005-09-01| et date_calcul <@ |2007-01-01|
   conséquence égal à
     selon zone sous forme
@@ -3591,7 +3602,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (357,62€ +€ 31,00€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2007-01-01| et date_calcul <@ |2008-01-01|
   conséquence égal à
     selon zone sous forme
@@ -3635,7 +3647,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (367,33€ +€ 31,87€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2008-01-01| et date_calcul <@ |2009-01-01|
   conséquence égal à
     selon zone sous forme
@@ -3679,7 +3692,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (377,78€ +€ 32,75€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2009-01-01| et date_calcul <@ |2010-01-01|
   conséquence égal à
     selon zone sous forme
@@ -3723,7 +3737,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (388,92€ +€ 33,72€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2010-01-01| et date_calcul <@ |2011-01-01|
   conséquence égal à
     selon zone sous forme
@@ -3767,7 +3782,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (390,16€ +€ 33,83€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2011-01-01| et date_calcul <@ |2012-01-01|
   conséquence égal à
     selon zone sous forme
@@ -3811,7 +3827,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (394,45€ +€ 34,20€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2012-01-01| et date_calcul <@ |2013-01-01|
   conséquence égal à
     selon zone sous forme
@@ -3855,7 +3872,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (398,39€ +€ 34,54€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2013-01-01| et date_calcul <@ |2014-10-01|
   conséquence égal à
     selon zone sous forme
@@ -3899,7 +3917,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (406,96€ +€ 35,28€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2014-10-01| et date_calcul <@ |2015-10-01|
   conséquence égal à
     selon zone sous forme
@@ -3943,7 +3962,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (409,28€ +€ 35,48€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2015-10-01| et date_calcul <@ |2017-10-01|
   conséquence égal à
     selon zone sous forme
@@ -3987,7 +4007,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (409,61€ +€ 35,51€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2017-10-01| et date_calcul <@ |2019-10-01|
   conséquence égal à
     selon zone sous forme
@@ -4031,7 +4052,8 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (412,68€ +€ 35,78€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
 
-  définition calcul_plafond_mensualité_d842_6 de date_calcul sous condition
+  définition calcul_plafond_mensualité_d842_6 de date_calcul état base
+  sous condition
     date_calcul >=@ |2019-10-01|
   conséquence égal à
     selon zone sous forme
@@ -4074,6 +4096,11 @@ champ d'application CalculAllocationLogementAccessionPropriété sous condition
         (si nombre_personnes_à_charge = 5 alors 413,92 € sinon
         (413,92€ +€ 35,88€ *€
           (entier_vers_décimal de (nombre_personnes_à_charge - 5)))))))))
+
+  # Une exception est à venir avec l'article 37
+  définition calcul_plafond_mensualité_d842_6 de date_calcul
+  état avec_copropriété égal à
+    calcul_plafond_mensualité_d842_6 de date_calcul
 ```
 
 ### Article 34 | LEGIARTI000044137403
@@ -4091,21 +4118,48 @@ NOTA :
 Conformément au I de l’article 3 de l’arrêté du 23 septembre 2021, ces dispositions sont applicables pour
 les prestations dues à compter du 1er octobre 2021.
 
+```catala
+champ d'application CalculAllocationLogementAccessionPropriété
+  sous condition date_courante >=@ |2021-10-01| :
+  définition montant_forfaitaire_charges égal à
+   si nombre_personnes_à_charge = 0 alors 54,22 €
+   sinon 54,22 € +€ (12,29 € *€ (
+     entier_vers_décimal de nombre_personnes_à_charge))
+```
+
 ### Article 35 | LEGIARTI000039160693
 
 Le montant de minoration forfaitaire prévu au 9e alinéa de l'article D. 842-6 du même code est fixé à 5 euros.
 
+```catala
+champ d'application CalculAllocationLogementAccessionPropriété:
+  définition montant_forfaitaire_d842_6 égal à 5 €
+```
+
 ### Article 36 | LEGIARTI000039160695
 
 Le seuil de versement prévu au dernier alinéa de l'article D. 842-6 du même code, avant application de la
 contribution pour le remboursement de la dette sociale, est fixé à 10 euros.
 
+```catala
+champ d'application CalculAllocationLogementAccessionPropriété:
+  définition montant_minimal_aide_d842_6 égal à 10 €
+```
+
 ### Article 37 | LEGIARTI000044137400
 
 Dans le cas des copropriétaires prévus à l'article D. 842-10 du même code :
 
 1° Les plafonds de mensualités sont fixés à 75 % des plafonds de mensualités mentionnés à l'article 33 ;
 
+```catala
+champ d'application CalculAllocationLogementAccessionPropriété
+  sous condition date_courante >=@ |2021-10-01|:
+  définition calcul_plafond_mensualité_d842_6 de date_calcul
+  état avec_copropriété égal à
+    calcul_plafond_mensualité_d842_6 de date_calcul *€ 75%
+```
+
 2° Le montant forfaitaire au titre des charges est fixé comme suit (en euros) :
 
 Composition du ménage                                   Montant
@@ -4114,6 +4168,16 @@ Bénéficiaire isolé                                       27,10
 Couple sans personne à charge                            54,22
 Majoration par personne à charge                         12,29
 
+```catala
+champ d'application CalculAllocationLogementAccessionPropriété
+  sous condition date_courante >=@ |2021-10-01| :
+  définition montant_forfaitaire_charges égal à
+   (selon situation_familiale_calcul_apl sous forme
+     -- PersonneSeule: 27,10 €
+     -- Couple : 54,22€) +€ (12,29 € *€ (
+     entier_vers_décimal de nombre_personnes_à_charge))
+```
+
 NOTA :
 Conformément au I de l’article 3 de l’arrêté du 23 septembre 2021, ces dispositions sont applicables
 pour les prestations dues à compter du 1er octobre 2021.
@@ -4124,16 +4188,36 @@ Pour le calcul de la dépense nette minimale de logement définie à l'article D
 
 1° Le montant minimum mentionné au deuxième alinéa est fixé à 15 euros ;
 
+```catala
+champ d'application CalculAllocationLogementAccessionPropriété:
+  définition montant_forfaitaire_d842_11 égal à 15 €
+```
+
 2° Le coefficient mentionné au troisième alinéa est fixé à 0,0234.
 
+```catala
+champ d'application CalculAllocationLogementAccessionPropriété:
+  définition coefficient_d842_11 égal à 0,0234
+```
+
 ### Article 39 | LEGIARTI000039160701
 
 Pour déterminer le plancher de ressources défini à l'article D. 842-12 du même code :
 
 1° Le coefficient prévu au 1° est fixé à 16,25 ;
 
+```catala
+champ d'application CalculAllocationLogementAccessionPropriété:
+  définition coefficient_d842_12 égal à 16,25
+```
+
 2° Le montant forfaitaire prévu au 2° est fixé à 3 900 euros.
 
+```catala
+champ d'application CalculAllocationLogementAccessionPropriété:
+  définition montant_forfaitaire_d842_12 égal à 3 900 €
+```
+
 ## Chapitre VII : Calcul des allocations de logement en secteur logement-foyer
 
 ### Article 40 | LEGIARTI000044137397
@@ -4150,17 +4234,36 @@ NOTA :
 Conformément au I de l’article 3 de l’arrêté du 23 septembre 2021, ces dispositions
 sont applicables pour les prestations dues à compter du 1er octobre 2021.
 
+```catala
+champ d'application CalculAllocationLogementFoyer
+  sous condition date_courante >=@ |2021-10-01| :
+  définition montant_forfaitaire_charges égal à
+   si nombre_personnes_à_charge = 0 alors 54,22 €
+   sinon 54,22 € +€ (12,29 € *€ (
+     entier_vers_décimal de nombre_personnes_à_charge))
+```
+
 ### Article 41 | LEGIARTI000039160703
 
 Le montant de minoration forfaitaire prévu au 9e alinéa de l'article D. 842-15 du même code est
 fixé à 5 euros.
 
+```catala
+champ d'application CalculAllocationLogementFoyer:
+  définition montant_forfaitaire_d842_15 égal à 5 €
+```
+
 ### Article 42 | LEGIARTI000039160707
 
 Le seuil de versement prévu au dernier alinéa de l'article D. 842-15 du même code,
 avant application de la contribution pour le remboursement de la dette sociale,
 est fixé à 10 euros.
 
+```catala
+champ d'application CalculAllocationLogementFoyer:
+  définition montant_minimal_aide_d842_15 égal à 10 €
+```
+
 ### Article 43 | LEGIARTI000044137394
 
 L'équivalence de loyer L pour chacune des catégories de personnes mentionnées à l'article
@@ -4172,24 +4275,71 @@ a) 84,14 euros lorsqu'il s'agit d'une personne seule ;
 
 b) 131,00 euros lorsqu'il s'agit d'un couple ;
 
+```catala
+champ d'application CalculAllocationLogementFoyer
+  sous condition date_courante >=@ |2021-10-01|:
+  définition équivalence_loyer sous condition
+     catégorie_équivalence_loyer_d842_16 sous forme ÉtudiantLogéEnChambre
+  conséquence égal à
+    selon situation_familiale_calcul_apl sous forme
+    -- PersonneSeule: 84,14 €
+    -- Couple: 131,00 €
+```
+
 2° Pour les étudiants logés dans une chambre ayant fait l'objet d'une réhabilitation :
 
 a) 170,12 euros lorsqu'il s'agit d'une personne seule ;
 
 b) 264,40 euros lorsqu'il s'agit d'un couple ;
 
+```catala
+champ d'application CalculAllocationLogementFoyer
+  sous condition date_courante >=@ |2021-10-01|:
+  définition équivalence_loyer sous condition
+     catégorie_équivalence_loyer_d842_16 sous forme
+        ÉtudiantLogéEnChambreRéhabilitée
+  conséquence égal à
+    selon situation_familiale_calcul_apl sous forme
+    -- PersonneSeule: 170,12 €
+    -- Couple: 264,40 €
+```
+
 3° Pour les personnes mentionnées au 3° :
 
 a) 206,40 euros lorsqu'il s'agit d'une personne seule ;
 
 b) 320,73 euros lorsqu'il s'agit d'un couple ;
 
+```catala
+champ d'application CalculAllocationLogementFoyer
+  sous condition date_courante >=@ |2021-10-01|:
+  définition équivalence_loyer sous condition
+     catégorie_équivalence_loyer_d842_16 sous forme
+        PersonnesÂgéesSelon3DeD842_16
+  conséquence égal à
+    selon situation_familiale_calcul_apl sous forme
+    -- PersonneSeule: 206,40 €
+    -- Couple: 320,73 €
+```
+
 4° Pour les autres personnes :
 
 a) 170,12 euros lorsqu'il s'agit d'une personne seule ;
 
 b) 264,40 euros lorsqu'il s'agit d'un couple.
 
+```catala
+champ d'application CalculAllocationLogementFoyer
+  sous condition date_courante >=@ |2021-10-01|:
+  définition équivalence_loyer sous condition
+     catégorie_équivalence_loyer_d842_16 sous forme
+        AutresPersonnes
+  conséquence égal à
+    selon situation_familiale_calcul_apl sous forme
+    -- PersonneSeule: 170,12 €
+    -- Couple: 264,40 €
+```
+
 NOTA :
 Conformément au I de l’article 3 de l’arrêté du 23 septembre 2021, ces dispositions sont
 applicables pour les prestations dues à compter du 1er octobre 2021.
@@ -4199,6 +4349,11 @@ applicables pour les prestations dues à compter du 1er octobre 2021.
 Le montant minimum de dépense nette de logement défini à l'article D. 842-17 du même code
 est fixé à 15 euros.
 
+```catala
+champ d'application CalculAllocationLogementFoyer:
+  définition montant_minimal_dépense_nette_d842_17 égal à 15 €
+```
+
 ## Chapitre VIII : Prime de déménagement
 
 ### Article 45 | LEGIARTI000039160713
diff --git a/examples/allocations_logement/code_construction_reglementaire.catala_fr b/examples/allocations_logement/code_construction_reglementaire.catala_fr
index 001be139..d20a1956 100644
--- a/examples/allocations_logement/code_construction_reglementaire.catala_fr
+++ b/examples/allocations_logement/code_construction_reglementaire.catala_fr
@@ -4240,7 +4240,7 @@ par arrêté, il n'est pas procédé à son versement.
 ```catala
 champ d'application CalculAllocationLogementAccessionPropriété:
   définition allocation_mensuelle état montant_minimal égal à
-    si allocation_mensuelle <€ montant_minimal_aide_d823_24
+    si allocation_mensuelle <€ montant_minimal_aide_d842_6
     alors 0 € sinon allocation_mensuelle
 ```
 
@@ -4545,10 +4545,10 @@ Le montant ainsi calculé est minoré d'un montant fixé forfaitairement par arr
 ```catala
 champ d'application CalculAllocationLogementFoyer:
   définition allocation_mensuelle état minoration_forfaitaire égal à
-    si allocation_mensuelle -€ montant_forfaitaire_d842_6 <€ 0€ alors
+    si allocation_mensuelle -€ montant_forfaitaire_d842_15 <€ 0€ alors
       0 €
     sinon
-      (allocation_mensuelle -€ montant_forfaitaire_d842_6)
+      (allocation_mensuelle -€ montant_forfaitaire_d842_15)
 ```
 
 Ce résultat est minoré d'un abattement au titre de la dépense nette minimale. Les
@@ -4560,12 +4560,13 @@ champ d'application CalculAllocationLogementFoyer:
   définition allocation_mensuelle état dépense_nette_minimale
   égal à
     si
-      allocation_mensuelle -€ dépense_nette_minimale de allocation_mensuelle <€
-        0€
+      allocation_mensuelle -€
+        abattement_dépense_nette_minimale de allocation_mensuelle <€ 0€
     alors
       0 €
     sinon
-      (allocation_mensuelle -€ dépense_nette_minimale de allocation_mensuelle)
+      allocation_mensuelle -€
+        abattement_dépense_nette_minimale de allocation_mensuelle
 ```
 
 Si le montant obtenu par application des dispositions des alinéas précédents est
@@ -4647,9 +4648,27 @@ La dépense nette de logement, définie au dixième alinéa de l'article D. 842-
 montant forfaitaire au titre des charges " C ", et le montant mensuel de l'aide
 calculé selon les modalités précisées aux deuxième à neuvième alinéas du même article.
 
+```catala
+champ d'application CalculAllocationLogementFoyer:
+  définition dépense_nette_minimale de allocation_mensuelle égal à
+    équivalence_loyer +€ montant_forfaitaire_charges -€ allocation_mensuelle
+```
+
 Lorsque sa valeur est inférieure à un montant fixé par arrêté, l'abattement sur
 le montant mensuel de l'aide est égal à la différence constatée.
 
+```catala
+champ d'application CalculAllocationLogementFoyer:
+  définition abattement_dépense_nette_minimale de allocation_mensuelle égal à
+  si dépense_nette_minimale de allocation_mensuelle <€
+    montant_minimal_dépense_nette_d842_17
+  alors
+    montant_minimal_dépense_nette_d842_17 -€
+       dépense_nette_minimale de allocation_mensuelle
+  sinon
+    0€
+```
+
 ####### Article D842-18 | LEGIARTI000038878649
 
 Les arrêtés prévus à la présente section sont pris par les ministres chargés
diff --git a/examples/allocations_logement/prologue.catala_fr b/examples/allocations_logement/prologue.catala_fr
index 263a75d1..4c0d0b58 100644
--- a/examples/allocations_logement/prologue.catala_fr
+++ b/examples/allocations_logement/prologue.catala_fr
@@ -544,6 +544,9 @@ déclaration champ d'application CalculAidePersonnelleLogementFoyer:
   interne coefficient_r_d832_25 contenu argent
   interne n_nombre_parts_d832_25 contenu décimal
   interne plafond_équivalence_loyer_éligible contenu argent
+  # TODO informatique: reprendre le calcul de cette variable
+  # en distinguant l'abattement de la dépense nette minimale,
+  # suivre modèle de CalculAllocationLogementFoyer.
   interne dépense_nette_minimale_d832_27 contenu argent dépend de argent
     état avant_abattement
     état après_abattement
@@ -601,6 +604,9 @@ déclaration champ d'application
     état formule
     état arrondi
     état seuil
+  # TODO informatique: reprendre le calcul de cette variable
+  # en distinguant l'abattement de la dépense nette minimale,
+  # suivre modèle de CalculAllocationLogementFoyer.
   interne dépense_nette_minimale_d832_10 contenu argent dépend de argent
     état avant_abattement
     état après_abattement
@@ -749,14 +755,19 @@ déclaration champ d'application CalculAllocationLogementAccessionPropriété:
   interne coefficient_prise_en_charge contenu décimal
   interne plafond_mensualité_d842_6 contenu argent
   interne calcul_plafond_mensualité_d842_6 contenu argent dépend de date
+    état base
+    état avec_copropriété
   interne montant_forfaitaire_d842_6 contenu argent
   interne seuil_minimal_dépense_nette_minimale contenu argent
   interne seuil_minimal_ressources_ménage contenu argent
   interne taux_francs_vers_euros contenu décimal
+  # TODO informatique: reprendre le calcul de cette variable
+  # en distinguant l'abattement de la dépense nette minimale,
+  # suivre modèle de CalculAllocationLogementFoyer.
   interne dépense_nette_minimale contenu argent dépend de argent
     état base
     état abattement
-  interne montant_minimal_aide_d823_24 contenu argent
+  interne montant_minimal_aide_d842_6 contenu argent
   interne montant_forfaitaire_d842_11 contenu argent
   interne montant_forfaitaire_d842_12 contenu argent
   interne coefficient_d842_11 contenu décimal
@@ -821,10 +832,14 @@ déclaration champ d'application CalculAllocationLogementFoyer:
   entrée situation_familiale_calcul_apl contenu SituationFamilialeCalculAPL
   entrée zone contenu ZoneDHabitation
   entrée date_courante contenu date
+  entrée catégorie_équivalence_loyer_d842_16 contenu
+    CatégorieÉquivalenceLoyerAllocationLogementFoyer
 
   interne dépense_nette_minimale contenu argent dépend de argent
+  interne abattement_dépense_nette_minimale contenu argent dépend de argent
   interne montant_minimal_aide_d842_15 contenu argent
-  interne montant_forfaitaire_d842_6 contenu argent
+  interne montant_forfaitaire_d842_15 contenu argent
+  interne montant_minimal_dépense_nette_d842_17 contenu argent
   interne coefficient_prise_en_charge contenu décimal
   interne équivalence_loyer contenu argent
   interne montant_forfaitaire_charges contenu argent