Progress on arrete with @Lilyaslm

examples/allocations_logement/arrete_2019-09-27.catala_fr

@@ -199,7 +199,18 @@ II            |           2,5	           |               3,1
 III	          |           2,5	           |               3,1
 
 ```catala
-# Todo informatique: à faire
+champ d'application CalculAidePersonnelleLogement:
+  définition plafond_dégressivité_d823_16 égal à
+    selon zone sous forme
+    -- Zone1: plafond_loyer_d823_16_2 *€ 3,4
+    -- Zone2: plafond_loyer_d823_16_2 *€ 2,5
+    -- Zone3: plafond_loyer_d823_16_2 *€ 2,5
+
+  définition plafond_suppression_d823_16 égal à
+    selon zone sous forme
+    -- Zone1: plafond_loyer_d823_16_2 *€ 4,0
+    -- Zone2: plafond_loyer_d823_16_2 *€ 3,1
+    -- Zone3: plafond_loyer_d823_16_2 *€ 3,1
 ```
 
 
@@ -208,6 +219,11 @@ III	          |           2,5	           |               3,1
 Le montant de minoration forfaitaire prévu au 9e alinéa de l'article D. 823-16
 du même code est fixé à 5 euros.
 
+```catala
+champ d'application CalculAidePersonnelleLogement:
+  définition montant_forfaitaire_d823_16 égal à 5 €
+```
+
 ### Article 12 | LEGIARTI000039160749
 
 Le seuil de versement prévu au dernier alinéa de l'article D. 823-16 du même code,
@@ -215,6 +231,15 @@ avant application de la contribution pour le remboursement de la dette sociale,
 est fixé à 10 euros pour les allocations de logement et à 0 euro pour l'aide
 personnalisée au logement.
 
+```catala
+champ d'application CalculAidePersonnelleLogement:
+  définition montant_minimal_aide égal à
+    selon type_aide sous forme
+    -- AidePersonnaliséeLogement: 0 €
+    -- AllocationLogementFamiliale: 10 €
+    -- AllocationLogementSociale: 10 €
+```
+
 ### Article 13 | LEGIARTI000044137423
 
 La participation minimale P0 définie au 2° de l'article D. 823-17 du même code est
@@ -391,5 +416,15 @@ les bénéficiaires isolés ou couples ayant trois enfants à charge et est
 majoré de 20 % par enfant supplémentaire à charge.
 
 ```catala
-# TODO informatique: coder cet article
+champ d'application ÉligibilitéPrimeDeDéménagement:
+  définition plafond_d823_22 égal à
+   base_mensuelle_allocations_familiales.montant *€ 240% +€
+   (si
+      (nombre pour personne_à_charge dans ménage.personnes_à_charge de
+        personne_à_charge sous forme EnfantÀCharge) > 3
+    alors
+      base_mensuelle_allocations_familiales.montant *€ (entier_vers_décimal de (
+      (nombre pour personne_à_charge dans ménage.personnes_à_charge de
+      personne_à_charge sous forme EnfantÀCharge) - 3) *. 20%)
+    sinon 0€)
 ```

examples/allocations_logement/code_construction_reglementaire.catala_fr

@@ -1548,17 +1548,17 @@ l'enfant handicapé prévue à l'article L. 541-1 du même code.
 
 ```catala
 champ d'application CalculAidePersonnelleLogement:
-  définition diminution_aide_finale égal à
-    (loyer_principal -€ plafond_dégressivité_d823_16)
-        *€ coefficient_multiplicateur_d823_16
-
   définition aide_finale état diminué égal à
-    si loyer_principal >€ plafond_dégressivité_d823_16 alors
-      # TODO: définit la fonction seuil (retrouver issue GitHub)
-      si aide_finale -€ diminution_aide_finale >=€ 0€ alors
-        aide_finale -€ diminution_aide_finale
-      sinon 0€
-    sinon aide_finale
+    si loyer_principal >€ plafond_suppression_d823_16 alors
+      0€
+    sinon (si loyer_principal >€ plafond_dégressivité_d823_16 alors
+        aide_finale -€ (aide_finale *€
+          (loyer_principal -€ plafond_dégressivité_d823_16) /€
+          (plafond_suppression_d823_16 -€ plafond_dégressivité_d823_16)
+        )
+        # Faire un graphique pour se convaincre que la pente proportionnelle
+        # a bien cette expression.
+    sinon aide_finale)
 
   exception définition aide_finale état diminué sous condition
     bénéficiaire_aide_adulte_ou_enfant_handicapés

examples/allocations_logement/prologue.catala_fr

@@ -157,11 +157,15 @@ déclaration champ d'application ÉligibilitéPrimeDeDéménagement:
   entrée dépenses_justifiées_réellement_engagées contenu argent
   sortie montant_prime_déménagement contenu argent
   interne plafond_d823_22 contenu argent
+  base_mensuelle_allocations_familiales champ d'application
+    BaseMensuelleAllocationsFamiliales
 
 champ d'application ÉligibilitéPrimeDeDéménagement:
   définition éligibilité_apl.ménage égal à ménage
   définition éligibilité_apl.demandeur égal à demandeur
   définition éligibilité_apl.date_ouverture_droits égal à date_ouverture_droits
+  définition base_mensuelle_allocations_familiales.date_courante égal à
+    date_ouverture_droits
 
 déclaration structure PersonneVivantHabituellementAuFoyer:
   donnée durée_résidence_durant_période_r_822_3_1 contenu durée
@@ -221,10 +225,11 @@ déclaration champ d'application CalculAidePersonnelleLogement:
   interne situation_familiale_calcul_apl contenu SituationFamilialeCalculAPL
 
   entrée nombre_personnes_à_charge contenu entier
+  entrée type_aide contenu TypeAidePersonnelleLogement
 
-  interne diminution_aide_finale contenu argent
   interne coefficient_multiplicateur_d823_16 contenu décimal
   interne plafond_dégressivité_d823_16 contenu argent
+  interne plafond_suppression_d823_16 contenu argent
   interne montant_forfaitaire_charges contenu argent
   interne plafond_loyer_d823_16_2 contenu argent