CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 08:47:14 +03:00
Code Issues Projects Releases Wiki Activity

Distinguo entre aides personnelle et aide personnalisée

Browse Source
This commit is contained in:
Denis Merigoux 2022-06-06 17:39:51 +02:00
parent 4ba73a80c9
commit 8ddb157bc3
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
10 changed files with 278 additions and 232 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

158
examples/allocations_logement/arrete_2019-09-27.catala_fr
View File

@ -7,7 +7,7 @@
L'abattement forfaitaire prévu par l'article R. 822-7 du même code est fixé à 95 euros.
```catala
champ d'application RessourcesAidePersonnelleLogement:
champ d'application RessourcesAidesPersonnelleLogement:
définition montant_forfaitaire_r_822_7 égal à 95€
```
@ -17,7 +17,7 @@ champ d'application RessourcesAidePersonnelleLogement:
L'abattement forfaitaire prévu par l'article R. 822-8 du même code est fixé à 2 589 euros.
```catala
champ d'application RessourcesAidePersonnelleLogement:
champ d'application RessourcesAidesPersonnelleLogement:
définition montant_forfaitaire_r_822_8 égal à 2 589€
```
@ -67,7 +67,7 @@ déclaration énumération SituationFamilialeCalculAPL:
-- PersonneSeule
-- Couple
champ d'application CalculAidePersonnelleLogement:
champ d'application CalculAidePersonnaliséeLogement:
définition situation_familiale_calcul_apl égal à
selon situation_familiale sous forme
-- Célibataire: PersonneSeule
@ -79,7 +79,7 @@ champ d'application CalculAidePersonnelleLogement:
```
```catala
champ d'application CalculAidePersonnelleLogementLocatif
champ d'application CalculAidePersonnaliséeLogementLocatif
sous condition date_courante >=@ |2021-10-01|:
# Colonne 1
@ -163,7 +163,7 @@ ces dispositions sont applicables pour les prestations dues à
compter du 1er octobre 2021.
```catala
champ d'application CalculAidePersonnelleLogementLocatif
champ d'application CalculAidePersonnaliséeLogementLocatif
sous condition
date_courante >=@ |2021-10-01| et
logement_est_chambre:
@ -209,7 +209,7 @@ ces dispositions sont applicables pour les prestations dues à compter
du 1er octobre 2021.
```catala
champ d'application CalculAidePersonnelleLogementLocatif
champ d'application CalculAidePersonnaliséeLogementLocatif
sous condition date_courante >=@ |2021-10-01|:
définition montant_forfaitaire_charges_d823_16 égal à
54,22€ +€ 12,29€ *€ (entier_vers_décimal de nombre_personnes_à_charge)
@ -233,7 +233,7 @@ III 2,5 3,1
-----------------------------------------------------
```catala
champ d'application CalculAidePersonnelleLogementLocatif:
champ d'application CalculAidePersonnaliséeLogementLocatif:
définition plafond_dégressivité_d823_16 égal à
selon zone sous forme
-- Zone1: plafond_loyer_d823_16_2 *€ 3,4
@ -254,7 +254,7 @@ 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 CalculAidePersonnelleLogementLocatif:
champ d'application CalculAidePersonnaliséeLogementLocatif:
définition montant_forfaitaire_d823_16 égal à 5 €
```
@ -266,12 +266,12 @@ est fixé à 10 euros pour les allocations de logement et à 0 euro pour l'aide
personnalisée au logement.
```catala
champ d'application CalculAidePersonnelleLogementLocatif:
champ d'application CalculAidePersonnaliséeLogementLocatif:
définition montant_minimal_aide_d823_16 égal à
selon type_aide sous forme
-- AidePersonnaliséeLogement: 0 €
-- TypeAidePersonnelleLogement.AllocationLogementFamiliale: 10 €
-- TypeAidePersonnelleLogement.AllocationLogementSociale: 10 €
-- TypeAidesPersonnelleLogement.AllocationLogementFamiliale: 10 €
-- TypeAidesPersonnelleLogement.AllocationLogementSociale: 10 €
```
### Article 13 | LEGIARTI000044137423
@ -281,7 +281,7 @@ La participation minimale P0 définie au 2° de l'article D. 823-17 du même cod
défini au 2° de l'article D. 823-16 du même code et du forfait charge ou 35,39 euros.
```catala
champ d'application CalculAidePersonnelleLogementLocatif
champ d'application CalculAidePersonnaliséeLogementLocatif
sous condition date_courante >=@ |2021-10-01|:
définition participation_minimale égal à
si loyer_éligible *€ 8,5% >=€ 35,39 € alors
@ -339,7 +339,7 @@ Majoration par personne à charge -0,06%
# "Cette situation étant très éloignée de la réalité elle n’a pas été traitée."
# Nous sommes donc libres de choisir une interprétation, et nous choisissons
# donc de laisser courir cette valeur dans le territoire négatif.
champ d'application CalculAidePersonnelleLogementLocatif
champ d'application CalculAidePersonnaliséeLogementLocatif
sous condition date_courante >=@ |2021-10-01|:
définition taux_composition_familiale égal à
si nombre_personnes_à_charge = 0 alors
@ -372,7 +372,7 @@ RL entre le loyer retenu dans la limite du plafond L et un loyer de référence
RL est exprimé en pourcentage et arrondi à la deuxième décimale.
```catala
champ d'application CalculAidePersonnelleLogementLocatif
champ d'application CalculAidePersonnaliséeLogementLocatif
sous condition date_courante >=@ |2021-10-01|:
définition rapport_loyers égal à
arrondi_décimal de ((loyer_éligible /€ loyer_référence) *. 100,0) /. 100,0
@ -395,7 +395,7 @@ Si $\text{RL}<45\%$ Si $45\% < \text{RL} < 75\%$ Si $\text{RL} >75
$\text{TL}=0 \%$ $\text{TL}=0,45 \%\times (\text{RL}-45\%)$ $\text{TL}=0,45\%\times30 \%+0,68 \%\times(\text{RL}-75\%)$
```catala
champ d'application CalculAidePersonnelleLogementLocatif
champ d'application CalculAidePersonnaliséeLogementLocatif
sous condition date_courante >=@ |2021-10-01|:
# Ici on choisit de mettre des >= pour inclure le résultat sur la crête
# dans la case de droite ; nous avons bien vérifié que sur la crête le
@ -422,7 +422,7 @@ Personne seule ou couple ayant une personne à charge 357,80
Majoration par personne à charge 52,08
```catala
champ d'application CalculAidePersonnelleLogementLocatif
champ d'application CalculAidePersonnaliséeLogementLocatif
sous condition date_courante >=@ |2021-10-01|:
définition loyer_référence égal à
si nombre_personnes_à_charge = 0 alors
@ -456,7 +456,7 @@ Personne seule ou couple ayant :
- par personne à charge supplémentaire 311
```catala
champ d'application CalculAidePersonnelleLogementLocatif
champ d'application CalculAidePersonnaliséeLogementLocatif
sous condition date_courante >=@ |2022-01-01|:
définition abattement_forfaitaire_d823_17 égal à
si nombre_personnes_à_charge = 0 alors
@ -510,7 +510,7 @@ charge supplémentaire 44,21 39,06 35,57
--------------------------------------------------------
```catala
champ d'application CalculAidePersonnelleLogementLocatif
champ d'application CalculAidePersonnaliséeLogementLocatif
sous condition date_courante >=@ |2021-10-01| et colocation:
# Ici l'exception est rapportée au cas de base puisqu'on suppose
@ -559,7 +559,7 @@ Couple sans personne à charge 54,22
Majoration par personne à charge 12,29
```catala
champ d'application CalculAidePersonnelleLogementLocatif
champ d'application CalculAidePersonnaliséeLogementLocatif
sous condition date_courante >=@ |2021-10-01| et colocation:
définition montant_forfaitaire_charges_d823_16 égal à
(selon situation_familiale_calcul_apl sous forme
@ -602,7 +602,7 @@ Par personne supplémentaire à charge 430 379 346
# Ici les montants des mensualités sont en francs car signées avant
# l'avènement de l'euro mais pour le calcul des APL en euros il faut
# que la mensualité plafond soit exprimée en euros. Donc nous convertissons.
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
# TODO juridique: trouver le décret ou la loi qui définit ce taux de
# conversion.
définition taux_francs_vers_euros égal à (1,0 /. 6,55957)
@ -650,7 +650,7 @@ Par personne supplémentaire à charge 374 305 279
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |1992-06-30| et
@ -695,7 +695,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 2 600 2 312 2 142
Par personne supplémentaire à charge 380 335 305
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |1994-11-27| et
@ -738,7 +738,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 2 093 1 858 1 725
Par personne supplémentaire à charge 306 269 246
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |1994-11-27| et
@ -789,7 +789,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 2 945 2 618 2 42
Par personne supplémentaire à charge 430 379 346
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |1992-06-30| et
@ -833,7 +833,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 2 372 2 618 2 42
Par personne supplémentaire à charge 347 379 346
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |1992-06-30| et
@ -880,7 +880,7 @@ Par personne supplémentaire à charge 102
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |1992-06-30| et
@ -912,7 +912,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 2 799 2 488 2 30
Par personne supplémentaire à charge 409 360 329
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |1994-11-27| et
@ -956,7 +956,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 2 255 2 002 1 85
Par personne supplémentaire à charge 330 290 265
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |1994-11-27| et
@ -1001,7 +1001,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 2 827 2 514 2 33
Par personne supplémentaire à charge 413 364 332
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2000-06-30| et
@ -1045,7 +1045,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 2 277 2 022 1 87
Par personne supplémentaire à charge 333 293 268
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2000-06-30| et
@ -1092,7 +1092,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 2 861 2 543 2 35
Par personne supplémentaire à charge 418 368 336
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2001-07-01| et
@ -1135,7 +1135,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 436,15 387,68 359,
Par personne supplémentaire à charge 63,72 56,1 51,22
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2002-01-01| et
@ -1181,7 +1181,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 2 304 2 047 1 89
Par personne supplémentaire à charge 337 297 271
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2001-07-01| et
@ -1224,7 +1224,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 351,25 312,07 289,
Par personne supplémentaire à charge 51,38 45,28 41,31
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2002-01-01| et
@ -1269,7 +1269,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 441,37 392,33 363,
Par personne supplémentaire à charge 64,48 56,77 51,83
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2002-06-30| et
@ -1313,7 +1313,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 355,47 315,81 292,
Par personne supplémentaire à charge 52 45,82 41,81
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2002-06-30| et
@ -1358,7 +1358,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 446,66 397,04 368,
Par personne supplémentaire à charge 65,25 57,45 52,45
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2003-06-30| et
@ -1402,7 +1402,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 359,73 319,6 269,
Par personne supplémentaire à charge 52,62 46,37 42,31
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2003-06-30| et
@ -1447,7 +1447,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 454,69 404,18 374,
Par personne supplémentaire à charge 66,42 58,48 53,39
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2005-08-31| et
@ -1491,7 +1491,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 366,21 325,34 308,
Par personne supplémentaire à charge 53,57 47,2 43,07
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2005-08-31| et
@ -1536,7 +1536,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 467,42 415,5 385,
Par personne supplémentaire à charge 68,28 60,12 54,88
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2006-12-31| et
@ -1580,7 +1580,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 376,46 334,45 310,
Par personne supplémentaire à charge 55,07 48,52 44,28
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2006-12-31| et
@ -1625,7 +1625,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 480,32 426,97 396,
Par personne supplémentaire à charge 70,16 61,78 56,39
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2007-12-31| et
@ -1669,7 +1669,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 386,85 343,68 318,
Par personne supplémentaire à charge 56,59 49,86 45,5
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2007-12-31| et
@ -1714,7 +1714,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 494,49 439,57 407,
Par personne supplémentaire à charge 72,23 63,6 58,05
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2008-12-31| et
@ -1758,7 +1758,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 398,26 353,82 328,
Par personne supplémentaire à charge 58,26 51,33 46,84
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2008-12-31| et
@ -1803,7 +1803,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 496,07 440,98 409,
Par personne supplémentaire à charge 72,46 63,8 58,24
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2009-12-31| et
@ -1847,7 +1847,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 399,53 354,95 329,
Par personne supplémentaire à charge 58,45 51,49 46,99
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2009-12-31| et
@ -1892,7 +1892,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 501,53 445,83 413,
Par personne supplémentaire à charge 73,26 64,5 58,88
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2010-12-31| et
@ -1936,7 +1936,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 403,92 358,85 332,
Par personne supplémentaire à charge 59,09 52,06 47,51
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2010-12-31| et
@ -1981,7 +1981,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 506,55 450,29 417,
Par personne supplémentaire à charge 73,99 65,15 459,47
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2011-12-31| et
@ -2056,7 +2056,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 407,96 362,44 336,
Par personne supplémentaire à charge 59,68 52,58 347,99
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2011-12-31| et
@ -2103,7 +2103,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 517,44 459,97 426,
Par personne supplémentaire à charge 75,58 66,55 60,75
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2012-12-31| et
@ -2147,7 +2147,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 416,73 370,23 343,
Par personne supplémentaire à charge 60,96 53,71 49,02
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2012-12-31| et
@ -2192,7 +2192,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 520,39 462,59 429,
Par personne supplémentaire à charge 76,01 66,93 61,1
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2014-09-30| et
@ -2236,7 +2236,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 419,11 372,34 345,
Par personne supplémentaire à charge 61,31 54,02 49,3
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2014-09-30| et
@ -2281,7 +2281,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 520,81 462,96 429,
Par personne supplémentaire à charge 76,07 66,98 61,15
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2015-09-30| et
@ -2325,7 +2325,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 419,45 372,64 345,
Par personne supplémentaire à charge 61,36 54,06 49,34
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2015-09-30| et
@ -2370,7 +2370,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 524,72 466,43 432,
Par personne supplémentaire à charge 76,64 67,48 61,61
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2017-09-30| et
@ -2414,7 +2414,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 422,6 375,43 348,
Par personne supplémentaire à charge 61,82 54,47 49,71
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2017-09-30| et
@ -2459,7 +2459,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 526,29 467,83 433,
Par personne supplémentaire à charge 76,87 67,68 61,79
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2019-09-30| et
@ -2502,7 +2502,7 @@ Bénéficiaire isolé ou couple ayant une personne à charge 423,86 376,56 349,
Par personne supplémentaire à charge 62,01 54,63 49,86
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
sous condition
date_signature_prêt >=@ |2019-09-30| et
@ -2552,7 +2552,7 @@ dispositions sont applicables pour les prestations dues à compter
du 1er octobre 2021.
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété sous condition
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété sous condition
date_courante >=@ |2021-10-01|:
définition montant_forfaitaire_charges_d832_10 égal à
@ -2565,7 +2565,7 @@ Le montant de minoration forfaitaire prévu au 9e alinéa de l'article D. 832-10
du même code est fixé à 5 euros.
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition montant_forfaitaire_d832_10 égal à 5€
```
@ -2576,7 +2576,7 @@ avant application de la contribution pour le remboursement de la dette sociale,
est fixé à 10 euros.
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition montant_minimal_aide_d832_10 égal à 10€
```
@ -2585,7 +2585,7 @@ champ d'application CalculAidePersonnelleLogementAccessionPropriété:
Le coefficient « cm » défini au 3° de l'article D. 832-11 du même code est fixé à 22 111,33 euros.
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition coefficient_multiplicateur_d832_11 égal à 22 111,33€
```
@ -2600,7 +2600,7 @@ du contrat de prêt ou de location-accession est postérieure au 30 juin 1992 :
2° 41,60 % pour la tranche de ressources supérieures à 5 600,85 euros.
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition montant_limite_tranches_d832_15_1 égal à 5 600,85 €
définition taux_tranche_inférieure_d832_15_1 égal à 20,80%
définition taux_tranche_supérieure_d832_15_1 égal à 41,60%
@ -2613,7 +2613,7 @@ Dans le cas des copropriétaires prévus à l'article D. 832-16 du même code :
1° Les plafonds de mensualités sont fixés à 75 % des plafonds de mensualités mentionnés aux articles 17 et 18 ;
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété
sous condition date_courante >=@ |2021-10-01|:
définition plafond_mensualité_d832_10_3 état copropriétaires égal à
si copropriété alors
@ -2631,7 +2631,7 @@ Couple sans personne à charge 54,22
Majoration par personne à charge 12,29
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété
sous condition date_courante >=@ |2021-10-01|:
exception définition montant_forfaitaire_charges_d832_10 sous condition
copropriété
@ -2659,7 +2659,7 @@ a) 0,0226 pour les prêts souscrits avant le 1er octobre 1998 ;
b) 0,0234 pour les prêts souscrits à compter de cette dernière date.
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition coefficient_multiplicateur_d832_17_3 égal à
selon ancienneté_logement sous forme
-- Neuf:
@ -2677,7 +2677,7 @@ Pour déterminer le plancher de ressources, le coefficient prévu à l'article
D. 832-18 du même code est fixé à 16,25.
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition coefficient_multiplicateur_d832_18 égal à 16,25
```
@ -2703,7 +2703,7 @@ Conformément au I de l’article 3 de l’arrêté du 23 septembre 2021, ces di
pour les prestations dues à compter du 1er octobre 2021.
```catala
champ d'application CalculAidePersonnelleLogementFoyer sous condition
champ d'application CalculAidePersonnaliséeLogementFoyer sous condition
date_courante >=@ |2021-10-01|:
définition plafond_équivalence_loyer_éligible égal à
(selon zone sous forme
@ -2758,7 +2758,7 @@ Le montant de minoration forfaitaire prévu au 8e alinéa de l'article D. 832-24
du même code est fixé à 5 euros.
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition montant_forfaitaire_d832_24 égal à 5 €
```
@ -2769,7 +2769,7 @@ avant application de la contribution pour le remboursement de la dette sociale,
est fixé à 10 euros.
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition montant_minimal_aide_d823_24 égal à 10 €
```
@ -2781,7 +2781,7 @@ dans la formule de calcul du coefficient de prise en charge « K » sont fixées
1° 1 217,26 pour le coefficient « r » défini au c du 1° ;
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
# Attention par homogénéité de la formule du D832-25 il faut que cm soit
# un montant d'argent.
définition coefficient_r_d832_25 égal à 1217,26 €
@ -2791,7 +2791,7 @@ champ d'application CalculAidePersonnelleLogementFoyer:
respectivement au d du 1° et au c du 2°.
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
# Attention par homogénéité de la formule du D832-25 il faut que cm soit
# un montant d'argent.
définition coefficient_multiplicateur_d832_25 égal à
@ -2816,7 +2816,7 @@ de charges locatives minimale « E0 », mentionnés à l'article D. 832-26 du m
6° 48,00 % pour la tranche de ressources supérieure à 6 331,29 euros.
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition tranches_revenus_d832_26 égal à [
TrancheRevenu { -- haut: Revenu contenu 1948,10€ -- bas: 0€ -- taux: 4%};
TrancheRevenu {
@ -2874,7 +2874,7 @@ II. - Les montants forfaitaires mentionnés aux premier et deuxième alinéas so
fixés respectivement à 45,57 et 76,32.
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition montant_forfaitaire_d832_26 égal à
si condition_2_du_832_25 alors 76,32 € sinon 45,57 €
```
@ -2886,7 +2886,7 @@ pour les logements-foyers de jeunes travailleurs et les résidences sociales vis
D. 832-25 du même code pour lesquels ce montant est fixé à 15 euros.
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition montant_forfaitaire_d832_27 égal à
si condition_2_du_832_25 alors 15 € sinon 26,68€
```

2
examples/allocations_logement/autres_sources.catala_fr
View File

@ -28,7 +28,7 @@ Couple marié 17 079,77 € 1 423,31 €
```catala
# Uniquement la valeur du plafond individuel est important pour l'éligibilité
# aux APL
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
définition plafond_individuel_l815_9_sécu sous condition
date_ouverture_droits >=@ |2022-01-01| et
date_ouverture_droits <@ |2023-01-01|

79
examples/allocations_logement/code_construction_legislatif.catala_fr
View File

@ -26,7 +26,7 @@ a) L'allocation de logement familiale ;
b) L'allocation de logement sociale.
```catala-metadata
déclaration énumération TypeAidePersonnelleLogement:
déclaration énumération TypeAidesPersonnelleLogement:
-- AidePersonnaliséeLogement
-- AllocationLogementFamiliale
-- AllocationLogementSociale
@ -41,7 +41,7 @@ Les aides personnelles au logement sont accordées au titre de
la résidence principale.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
règle condition_logement_résidence_principale sous condition
ménage.logement.résidence_principale
conséquence rempli
@ -55,7 +55,7 @@ champ d'application ÉligibilitéAidePersonnelleLogement:
# condition positive. Il n'y a pas vraiment de bonne manière de modéliser
# cela en Catala pour le moment à part le code ci-dessous qui récapitule
# la méta-structure logique des articles de loi de ce chapitre.
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
règle éligibilité_logement sous condition
# La condition logement est en fait l'amalgame de plusieurs sous-conditions
@ -63,8 +63,6 @@ champ d'application ÉligibilitéAidePersonnelleLogement:
# du code de la construction et de l'habitation. Attention, ne pas oublier
# de modifier cette liste en cas de rajout d'une sous-condition.
condition_logement_résidence_principale et # L821-2
condition_logement_bailleur et # L831-1
condition_logement_prêt et # L831-2
condition_logement_mode_occupation et
condition_logement_location_tiers et
condition_logement_surface
@ -105,7 +103,7 @@ prévues par les deux premiers alinéas de l'article L. 512-2 du
code de la sécurité sociale.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
règle condition_nationalité sous condition
selon demandeur.nationalité sous forme
-- Française: vrai
@ -122,7 +120,7 @@ d'habitation et constituant leur résidence principale.
Les sous-locataires, sous les mêmes conditions, peuvent également en bénéficier.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
étiquette l822_2 règle condition_logement_mode_occupation sous condition
selon ménage.logement.mode_occupation sous forme
-- Locataire: vrai
@ -144,7 +142,7 @@ personnellement ou par l'intermédiaire de parts sociales de sociétés,
quels que soient leurs formes et leurs objets.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
définition usufruit_ou_propriété_famille égal à
(selon ménage.logement.propriétaire sous forme
-- DemandeurOuConjointOuParentOuViaPartsSociétés de parts: vrai
@ -167,7 +165,7 @@ ainsi détenues est inférieur à des seuils fixés par voie réglementaire.
Ces seuils ne peuvent excéder 20 % de la propriété ou de l'usufruit du logement.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
étiquette l822_3_2 exception l822_3_1
règle condition_logement_mode_occupation sous condition
usufruit_ou_propriété_famille et
@ -193,7 +191,7 @@ l'article L. 442-1 du code de l'action sociale et des familles ou d'une
personne de moins de trente ans.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
étiquette cas_base_l822_4 règle condition_logement_location_tiers
sous condition
ménage.logement.loué_ou_sous_loué_à_des_tiers sous forme
@ -243,7 +241,7 @@ réglementaire.
# Cet article est une déclaration d'intention qui donne des propriétée sur
# la formule de calcul. Dans le futur il serait interessant de vérifier que
# la formule est bien de cette forme là.
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
définition patrimoine_total_demandeur égal à
demandeur.patrimoine.produisant_revenu_période_r822_3_3_r822_4 +€
demandeur.patrimoine.ne_produisant_pas_revenu_période_r822_3_3_r822_4
@ -263,7 +261,7 @@ du même code, la valeur en capital du patrimoine appréciée pour l'ensemble du
n'est pas prise en compte dans le calcul de l'aide personnelle au logement.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
étiquette l822_5_2 exception r822_22_3 définition patrimoine_pris_en_compte
sous condition existe prestation dans ménage.prestations_reçues tel que
(prestation = AllocationSoutienEnfantHandicapé) ou
@ -282,7 +280,7 @@ l'action sociale et des familles.
# rapport aux autres. On pourrait rajouter un sucre syntaxique pour activer
# ça en vérifiant que les conséquences sont syntaxiquement les mêmes.
# Voir https://github.com/CatalaLang/catala/issues/208
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
exception l822_5_2 définition patrimoine_pris_en_compte
sous condition ménage.logement.est_ehpad_ou_maison_autonomie_l313_12_asf
conséquence égal à 0€
@ -341,7 +339,7 @@ logement. Cette condition est appréciée pour chacun des membres du ménage.
# L'interpretation est donc qu'aucun membre du ménage ne doit être
# rattaché à des parents payant l'ifi.
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
règle condition_non_ouverture_l822_8
sous condition ménage.condition_rattaché_foyer_fiscal_parent_ifi
conséquence rempli
@ -355,7 +353,7 @@ l'article 6 de la loi n° 89-462 du 6 juillet 1989 tendant à améliorer les rap
locatifs et portant modification de la loi n° 86-1290 du 23 décembre 1986.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
règle condition_non_ouverture_l822_9_decence_logement
sous condition non ménage.logement.logement_decent_l89_462
conséquence rempli
@ -378,7 +376,7 @@ L'attribution d'une aide personnelle au logement est subordonnée au
respect de conditions de peuplement des logements.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
règle condition_non_ouverture_l822_10_peuplement_logement
sous condition condition_peuplement_logement_l822_10
conséquence rempli
@ -534,7 +532,7 @@ Ce montant minimal est fixé par voie réglementaire.
```catala
# Voir les états "montant_minimal" dans le calcul des aides finales dans
# le champ d'application CalculAidePersonnelleLogement.
# le champ d'application CalculAidePersonnaliséeLogement.
```
###### Article L823-8 | LEGIARTI000038814906
@ -576,6 +574,21 @@ indûment versés.
##### Chapitre Ier : Champ d'application
```catala
champ d'application ÉligibilitéAidePersonnaliséeLogement:
règle éligibilité sous condition
# La condition est en fait l'amalgame de plusieurs sous-conditions
# portant toutes sur le logement définies au long des diverses parties
# du code de la construction et de l'habitation. Attention, ne pas oublier
# de modifier cette liste en cas de rajout d'une sous-condition.
condition_logement_bailleur et # L831-1
condition_logement_prêt et # L831-2
éligibilité_commune.éligibilité # Pour être éligible à l'aide personnalisée
# au logement, il faut remplir les
# conditions communes.
conséquence rempli
```
###### Article L831-1 | LEGIARTI000038814882
L'aide personnalisée au logement s'applique aux :
@ -595,7 +608,7 @@ conditions d'octroi sont fixées par voie réglementaire, sous les réserves
# dépend du prêt (voir articles référés). Donc ici on vient apporter une
# exception à la règle de L822-2 quand les conditions relatives au prêt ne
# sont pas remplies.
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidePersonnaliséeLogement:
règle condition_logement_bailleur sous condition
selon ménage.logement.mode_occupation sous forme
-- AccessionPropriétéLocalUsageExclusifHabitation de propriété:
@ -616,7 +629,7 @@ que ceux-ci s'engagent à respecter les obligations précisées par des conventi
régies par la section 3 du chapitre Ier du titre II du livre III ;
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidePersonnaliséeLogement:
étiquette l831_1_2 règle condition_logement_bailleur sous condition
selon ménage.logement.mode_occupation sous forme
-- Locataire de location:
@ -636,7 +649,7 @@ bailleurs de respecter les obligations précisées par des conventions régies
par le chapitre III du titre V du livre III ;
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidePersonnaliséeLogement:
# TODO recherche: citer cet exemple intéréssant d'un point de vue
# computationel.
# Ici attention à la structure d'exception! Le 2°) est le cas de base, le
@ -665,7 +678,7 @@ obligations précisées par des conventions régies par le chapitre III du titre
ou par la section 3 du chapitre Ier du titre II du livre III ;
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidePersonnaliséeLogement:
étiquette l831_1_4 exception l831_1_2
règle condition_logement_bailleur sous condition
selon ménage.logement.mode_occupation sous forme
@ -700,7 +713,7 @@ fixées par voie réglementaire, sous les réserves énoncées à l ‘ article
```catala
# TODO juridique: trouver quelles sont ces mystérieuses conditions d'octroi.
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidePersonnaliséeLogement:
règle condition_logement_bailleur sous condition
selon ménage.logement.mode_occupation sous forme
-- LocationAccession de propriété:
@ -716,7 +729,7 @@ mentionné au 1° ou au 6° de l'article L. 831-1 signé après le 31 décembre
n'ouvrent pas droit à l'aide personnalisée au logement.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidePersonnaliséeLogement:
étiquette l831_2_base règle condition_logement_prêt rempli
# Cas de base implicite
@ -738,7 +751,7 @@ important entre l'offre et la demande de logements entraînant des difficultés
d'accès au logement dans le parc résidentiel existant.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidePersonnaliséeLogement:
exception l831_2_1 règle condition_logement_prêt sous condition
selon ménage.logement.mode_occupation sous forme
-- LocationAccession de propriété:
@ -806,7 +819,7 @@ concernés par la réduction de loyer de solidarité définie à l'article L. 44
est fixée par voie réglementaire.
```catala
champ d'application CalculAidePersonnelleLogementLocatif:
champ d'application CalculAidePersonnaliséeLogementLocatif:
définition aide_finale état réduction_loyer_solidarité égal à
si
aide_finale -€ réduction_loyer_solidarité *€ fraction_l832_3 >=€
@ -832,6 +845,20 @@ Dans le cas prévu à l'article L. 824-3, le versement reprend dans les conditio
##### Chapitre Ier : Champ d'application
```catala
champ d'application ÉligibilitéAllocationLogement:
# Implicitement, l'éligibilité de l'allocation logement est conditionnée
# à l'égibilité suivant les dispositions communes à toutes les aides
# personnelles au logement. Comme il n'existe pas d'article de loi ou de
# règlement rappelant ce fait, nous le traduisons en code ici.
définition éligibilité état dispositions_communes égal à
si non éligibilité_commune.éligibilité alors
PasÉligible
sinon
# Valeur par défaut, sera réécrit à l'application de L841-2.
ÉligibilitéAllocationLogement.AllocationLogementSociale
```
###### Article L841-1 | LEGIARTI000038814864
L'allocation de logement familiale est accordée :
@ -1020,7 +1047,7 @@ de logement sociale.
# d'ALF/ALS et supérieur au montant d'APL.
champ d'application ÉligibilitéAllocationLogement:
définition éligibilité état l841_2 égal à
si bénéficie_aide_personnelle_logement alors
si éligibilité = PasÉligible ou bénéficie_aide_personnelle_logement alors
PasÉligible
sinon (si éligibilité_allocation_logement_familiale alors
ÉligibilitéAllocationLogement.AllocationLogementFamiliale

126
examples/allocations_logement/code_construction_reglementaire.catala_fr
View File

@ -103,7 +103,7 @@ d'usufruit, sans que l'ensemble de ces parts puisse égaler ou dépasser
10 % de la propriété ou de l'usufruit du logement.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
définition seuil_l822_3_parts_propriété égal à 10%
définition seuil_l822_3_parts_usufruit égal à 10%
```
@ -122,7 +122,7 @@ les personnes vivant habituellement au foyer.
# Ici "conjoint" veut implicitement dire également "concubin" car on
# a vu que les deux cas étaient gérés de la même manière précédemment.
# Interprétation confirmée par DGALN/DHUP/FE4 le 25/05/2022.
champ d'application RessourcesAidePersonnelleLogement:
champ d'application RessourcesAidesPersonnelleLogement:
définition ressources_prises_en_compte égal à
ressources_demandeur +€
ressources_conjoint +€
@ -140,7 +140,7 @@ qui y résident encore au moment de la demande de l'aide ou du réexamen du
droit à celle-ci.
```catala
champ d'application RessourcesAidePersonnelleLogement:
champ d'application RessourcesAidesPersonnelleLogement:
assertion pour tout personne dans personnes_vivant_habituellement_foyer on a
personne.durée_résidence_durant_période_r_822_3_1 >=^ 6 mois
# TODO informatique et juridique: la comparaison avec 6 mois est ambiguë!
@ -398,7 +398,7 @@ des allocations familiales en vigueur à la date de la demande ou du réexamen
du droit.
```catala
champ d'application RessourcesAidePersonnelleLogement:
champ d'application RessourcesAidesPersonnelleLogement:
définition abattement_r_822_7 égal à
si demandeur_exerce_activité_rémunérée et
conjoint_exerce_activité_rémunérée et
@ -451,7 +451,7 @@ charges de loyer supplémentaires correspondant à ce logement, il est procédé
à un abattement forfaitaire sur ses ressources ou sur celles du ménage.
```catala
champ d'application RessourcesAidePersonnelleLogement:
champ d'application RessourcesAidesPersonnelleLogement:
définition abattement_r_822_8 égal à
selon paiement_logement_distinct_professionnel sous forme
-- OuiAvecLoyerOuCharges de loyer_ou_charges:
@ -513,7 +513,7 @@ il est opéré sur ses ressources un abattement de :
2° 1 350 euros dès trois personnes à charge.
```catala
champ d'application RessourcesAidePersonnelleLogement:
champ d'application RessourcesAidesPersonnelleLogement:
définition abattement_r_822_10 égal à
selon situation_familiale sous forme
# TODO informatique: améliorer avec
@ -847,7 +847,7 @@ d'une bourse de l'enseignement supérieur qui n'est pas assujettie à l'impôt
sur le revenu.
```catala
champ d'application RessourcesAidePersonnelleLogement:
champ d'application RessourcesAidesPersonnelleLogement:
exception définition ressources_prises_en_compte sous condition
mode_occupation sous forme Locataire et
condition_âge_bourse_enseignement_supérieur et
@ -920,7 +920,7 @@ de la construction et de l’habitation, à compter du mois de mai 2021.
Le montant prévu au premier alinéa de l'article L. 822-5 est fixé à 30 000 euros.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
définition seuil_l822_5_patrimoine égal à 30 000 €
```
@ -935,7 +935,7 @@ le revenu au titre des revenus nets catégoriels mentionnés à l'article
R. 822-4 est pris en compte pour le calcul de l'aide.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
étiquette r822_22_3 exception l822_5_1
définition patrimoine_pris_en_compte sous condition
patrimoine_total_demandeur >=€ seuil_l822_5_patrimoine
@ -1027,7 +1027,7 @@ en plus, dans la limite de soixante-dix mètres carrés pour huit personnes et
plus.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
# TODO informatique : remplacer par variables locales
définition nombre_personnes_logement égal à
(selon ménage.situation_familiale sous forme
@ -1132,7 +1132,7 @@ Sont considérés comme personnes à charge, sous réserve qu'ils vivent
habituellement au foyer :
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
définition personnes_à_charge_prises_en_compte égal à
filtre pour personne_à_charge dans ménage.personnes_à_charge de
prise_en_compte_personne_à_charge de personne_à_charge
@ -1143,7 +1143,7 @@ sens des 1° et 2° de l'article L. 512-3 du code de la sécurité sociale et de
l'article L. 823-2 du présent code ;
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
règle prise_en_compte_personne_à_charge de personne_à_charge sous condition
selon personne_à_charge sous forme
-- EnfantÀCharge de enfant: enfant.EnfantÀCharge.âge <= 21
@ -1166,7 +1166,7 @@ sociale et bénéficiaires des articles L. 161-19, L. 351-8 ou L. 643-3 du même
code ;
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
étiquette r823_4_2
règle prise_en_compte_personne_à_charge de personne_à_charge sous condition
selon personne_à_charge sous forme
@ -1198,7 +1198,7 @@ individuel prévu à l'article L. 815-9 du code de la sécurité sociale en vigu
au 31 décembre de l'année de référence multiplié par 1,25.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
exception r823_4_2
règle prise_en_compte_personne_à_charge de personne_à_charge sous condition
selon personne_à_charge sous forme
@ -1382,7 +1382,7 @@ location-accession, par les règles figurant aux articles R. 842-5
et D. 842-6 à D. 842-13.
```catala
champ d'application CalculAidePersonnelleLogement:
champ d'application CalculAidePersonnaliséeLogement:
définition catégorie_calcul_apl égal à
selon mode_occupation sous forme
-- Locataire: Location
@ -1420,7 +1420,7 @@ champ d'application CalculAidePersonnelleLogement:
# donne alors des valeurs par défaut pour les paramètres d'entrée des modes
# de calcul non utilisés, valeurs par défaut qui n'ont aucune influence
# sur le résultat puisque le mode de calcul n'est pas utilisé.
champ d'application CalculAidePersonnelleLogement:
champ d'application CalculAidePersonnaliséeLogement:
assertion
si catégorie_calcul_apl sous forme Location
alors informations_calcul sous forme InfosLocatif
@ -1685,7 +1685,7 @@ est calculé selon la formule suivante :
$$\text{Af} = \text{L} + \text{C}-\text{Pp}$$
```catala
champ d'application CalculAidePersonnelleLogementLocatif:
champ d'application CalculAidePersonnaliséeLogementLocatif:
définition aide_finale état formule égal à
si loyer_éligible +€ montant_forfaitaire_charges_d823_16 -€
participation_personnelle <€ 0 €
@ -1703,7 +1703,7 @@ la limite d'un plafond fixé par arrêté en fonction de la zone géographique e
dans le cas où le logement occupé est une chambre, de la composition familiale ;
```catala
champ d'application CalculAidePersonnelleLogementLocatif:
champ d'application CalculAidePersonnaliséeLogementLocatif:
définition loyer_éligible égal à
si loyer_principal >€ plafond_loyer_d823_16_2 alors plafond_loyer_d823_16_2
sinon loyer_principal
@ -1737,7 +1737,7 @@ l'article L. 821-1 du code de la sécurité sociale ou de l'allocation d'éducat
l'enfant handicapé prévue à l'article L. 541-1 du même code.
```catala
champ d'application CalculAidePersonnelleLogementLocatif:
champ d'application CalculAidePersonnaliséeLogementLocatif:
définition aide_finale état diminué égal à
si loyer_principal >€ plafond_suppression_d823_16 alors
0€
@ -1760,7 +1760,7 @@ champ d'application CalculAidePersonnelleLogementLocatif:
Le résultat ainsi obtenu est minoré d'un montant fixé forfaitairement par arrêté.
```catala
champ d'application CalculAidePersonnelleLogementLocatif:
champ d'application CalculAidePersonnaliséeLogementLocatif:
définition aide_finale état minoration_forfaitaire égal à
si aide_finale -€ montant_forfaitaire_d823_16 >=€ 0€ alors
aide_finale -€ montant_forfaitaire_d823_16
@ -1772,7 +1772,7 @@ sociales qui s'y appliquent, arrondi à l'euro inférieur, puis majoré de ce mo
représentatif.
```catala
champ d'application CalculAidePersonnelleLogementLocatif:
champ d'application CalculAidePersonnaliséeLogementLocatif:
définition aide_finale état contributions_sociales_arrondi égal à
si
arrondi_argent de ((aide_finale -€
@ -1790,7 +1790,7 @@ de l'article L. 442-2-1, ce résultat est réduit d'un montant égal à 98 % de
de loyer de solidarité.
```catala
champ d'application CalculAidePersonnelleLogementLocatif:
champ d'application CalculAidePersonnaliséeLogementLocatif:
définition fraction_l832_3 égal à 98%
```
@ -1799,7 +1799,7 @@ un montant fixé par arrêté, selon celle des trois aides dont le ménage bén
n'est pas procédé à son versement.
```catala
champ d'application CalculAidePersonnelleLogementLocatif:
champ d'application CalculAidePersonnaliséeLogementLocatif:
définition aide_finale état montant_minimal égal à
si aide_finale <€ montant_minimal_aide_d823_16 alors
0 €
@ -1816,7 +1816,7 @@ du ménage, calculée selon la formule suivante :
$$\text{Pp} = \text{P0} + \text{Tp}* (\text{R}-\text{R0})$$
```catala
champ d'application CalculAidePersonnelleLogementLocatif:
champ d'application CalculAidePersonnaliséeLogementLocatif:
définition participation_personnelle égal à
participation_minimale +€
(ressources_ménage_arrondies -€ abattement_forfaitaire_d823_17) *€
@ -1845,7 +1845,7 @@ Les valeurs du premier taux, les modalités de calcul du second taux et les vale
loyers de référence sont fixées par arrêté ;
```catala
champ d'application CalculAidePersonnelleLogementLocatif:
champ d'application CalculAidePersonnaliséeLogementLocatif:
définition taux_prise_compte_ressources égal à
taux_composition_familiale +. taux_loyer_éligible
```
@ -1854,7 +1854,7 @@ champ d'application CalculAidePersonnelleLogementLocatif:
à la section 2 du chapitre II du présent titre et arrondies à la centaine d'euros supérieure ;
```catala
champ d'application CalculAidePersonnelleLogement:
champ d'application CalculAidePersonnaliséeLogement:
définition ressources_ménage état avec_arrondi égal à
# Cette formule arrondit à la centaine d'euros supérieure. Essayez quelques
# exemples pour vous en convaincre, dont 100 et 150.
@ -2863,7 +2863,7 @@ en accession à la propriété défini à l'article D. 331-32 ;
2° Prêt conventionné défini à l'article D. 331-63, dans les conditions précisées par l'article D. 331-64.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidePersonnaliséeLogement:
règle caractéristiques_prêt_l831_1_1 de prêt sous condition
prêt.titulaire_prêt sous forme Demandeur et (
prêt.Prêt.type_prêt sous forme D331_32 ou
@ -2898,7 +2898,7 @@ lorsque le vendeur est titulaire d'un prêt défini par les articles D. 331-59-8
défini par les articles D. 331-76-1 et suivants et que ce dernier supporte les charges correspondantes.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidePersonnaliséeLogement:
règle caractéristiques_prêt_l831_1_1 de prêt sous condition
prêt.titulaire_prêt sous forme
VendeurQuandDemandeurAContratLocationAccession et (
@ -2963,7 +2963,7 @@ les modalités suivantes :
$$\text{Af} = \text{K} \times (\text{L} + \text{C}-\text{L0})$$
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition aide_finale état formule égal à
si (mensualité_éligible +€ montant_forfaitaire_charges_d832_10 -€
mensualité_minimale) *€ coefficient_prise_en_charge_d832_10 <€ 0 €
@ -2983,7 +2983,7 @@ prise en compte dans la limite d'un plafond fixé par arrêté en fonction de la
de la composition familiale et de la finalité de l'opération ;
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition mensualité_éligible égal à
si mensualité_principale >€ plafond_mensualité_d832_10_3
alors plafond_mensualité_d832_10_3
@ -3008,7 +3008,7 @@ la composition familiale ;
Le montant ainsi calculé est minoré d'un montant fixé forfaitairement par arrêté.
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition aide_finale état minoration_forfaitaire égal à
si aide_finale -€ montant_forfaitaire_d832_10 >=€ 0€
alors
@ -3020,7 +3020,7 @@ Ce résultat est minoré d'un abattement au titre de la dépense nette minimale,
de calcul sont fixées par l'article D. 832-17.
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition aide_finale état abattement égal à
si aide_finale -€
abattement_dépense_nette_minimale_d832_10 de aide_finale >=€ 0€
@ -3035,7 +3035,7 @@ représentatif des contributions sociales qui s'y appliquent, arrondi à l'euro
puis majoré de ce montant représentatif.
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition aide_finale
état contributions_sociales_arrondi
égal à
@ -3056,7 +3056,7 @@ Lorsque le montant mensuel de l'aide, ainsi calculé, est inférieur à un monta
il n'est pas procédé à son versement.
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition aide_finale état montant_minimal égal à
si aide_finale <€ montant_minimal_aide_d832_10
alors 0 €
@ -3071,7 +3071,7 @@ et les modalités suivantes :
$$\text{K} = 0,95 - \frac{\text{R}}{\text{cm} \times \text{N}}$$
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition coefficient_prise_en_charge_d832_10 état formule égal à
0,95 -.
(ressources_ménage_arrondies /€
@ -3087,7 +3087,7 @@ où :
Lorsque le calcul le porte à une valeur supérieure à 0,95, il est considéré comme égal à 0,95 ;
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition coefficient_prise_en_charge_d832_10 état arrondi égal à
# Cette formule implémente bien l'arrondi à deux décimales par défaut,
# à partir d'un arrondi au plus proche à l'unité.
@ -3139,7 +3139,7 @@ majoration par personne à charge supplémentaire 0,5
------------------------------------------------------------ ---
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition n_nombre_parts_d832_11 égal à
si nombre_personnes_à_charge = 0 alors
selon situation_familiale_calcul_apl sous forme
@ -3217,7 +3217,7 @@ l'article D. 832-12 a été établi.
```catala
# Voir l'article 18 de l'arrêté du 27 septembre 2019 qui précise le sens de
# cet alinéa en termes de calcul.
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition plafond_mensualité_d832_10_3 état base égal à
calcul_plafond_mensualité_d832_10_3 de date_signature_prêt
```
@ -3236,7 +3236,7 @@ pour la première fois par le bénéficiaire.
# permet de choisir la date la plus avantageuse pour calculer le plafond
# entre la date de signature du prêt et celle d'entrée dans le logement si
# le local est habité pour la première fois par le bénéficiaire.
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
exception définition plafond_mensualité_d832_10_3 état base sous condition
local_habité_première_fois_bénéficiaire
conséquence égal à
@ -3295,7 +3295,7 @@ se situent les ressources ;
# ces circonvolutions autour des limites supérieures des tranches reviennent
# bien à faire un arrondi à la centaine d'euros supérieure.
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition mensualité_minimale sous condition
type_travaux_logement sous forme SurLocauxNonHabitation
conséquence égal à
@ -3325,12 +3325,12 @@ mensualité minimale " L0 " se substitue à l'équivalence minimale de loyer et
charges " E0 ".
```catala
champ d'application CalculAidePersonnelleLogement:
champ d'application CalculAidePersonnaliséeLogement:
# Ce calcul marche car l'équivalence minimale de loyers ne dépend que
# de la situation familiale et des ressources du ménage. Afin de bien
# avoir le premier alinéa du D832-26 et non le second, il nous faut remettre
# à zéro la condition_2_du_832_25 qui contrôle dans le champ d'application
# CalculAidePersonnelleLogementFoyer comment l'équivalence minimale de loyer
# CalculAidePersonnaliséeLogementFoyer comment l'équivalence minimale de loyer
# est calculée.
définition logement_foyer.condition_2_du_832_25 sous condition
@ -3342,7 +3342,7 @@ champ d'application CalculAidePersonnelleLogement:
définition accession_propriété.équivalence_minimale_loyer égal à
logement_foyer.équivalence_minimale_loyer
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition mensualité_minimale sous condition
type_travaux_logement sous forme SurLogementExistant ou
# Comment interpetéter le R832-5 dans
@ -3395,7 +3395,7 @@ le montant mensuel de l'aide calculé selon les dispositions des deuxième à ne
alinéas du même article.
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
exception
définition dépense_nette_minimale_d832_10 de aide_calculée_2_9_d832_10
sous condition
@ -3409,7 +3409,7 @@ Dans les autres cas, cette dépense nette est obtenue en déduisant de la seule
déclarée le montant mensuel de l'aide calculé de la même façon.
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition dépense_nette_minimale_d832_10 de aide_calculée_2_9_d832_10 égal à
mensualité_principale -€ aide_calculée_2_9_d832_10
```
@ -3420,7 +3420,7 @@ l'opération, il est appliqué un abattement sur le montant mensuel de l'aide é
différence constatée.
```catala
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition abattement_dépense_nette_minimale_d832_10
de aide_calculée_2_9_d832_10
égal à
@ -3451,7 +3451,7 @@ et R. 822-13 à R. 822-17.
# les ressources des personnes à charge autre que le bénéficiaire et son
# conjoint ?
# Non, selon réponse de DGALN/DHUP/FE4 du 25/05/2022.
champ d'application CalculAidePersonnelleLogementAccessionPropriété:
champ d'application CalculAidePersonnaliséeLogementAccessionPropriété:
définition ressources_ménage_avec_d832_18 égal à
si ressources_ménage_arrondies <=€ mensualité_principale *€
coefficient_multiplicateur_d832_18
@ -3552,7 +3552,7 @@ mentionné à l'article D. 331-8 et que la convention prévue au II de l'article
remplacée par la convention prévue au III de l'article R. 353-159.
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidePersonnaliséeLogement:
règle condition_logement_bailleur sous condition
selon ménage.logement.mode_occupation sous forme
-- RésidentLogementFoyer de logement_foyer:
@ -3596,7 +3596,7 @@ mensuel de l'aide est calculé selon la formule et les modalités suivantes :
$$\text{Af} = \text{K} \times (\text{E}-\text{E0})$$
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition aide_finale état formule égal à
si (équivalence_loyer_éligible -€ équivalence_minimale_loyer) *€
coefficient_prise_en_charge_d832_25 <€ 0 €
@ -3617,7 +3617,7 @@ R. 353-156 à R. 353-160, et prise en compte dans la limite d'un plafond fixé p
de la zone géographique et de la composition familiale ;
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition équivalence_loyer_éligible égal à
si redevance >=€ plafond_équivalence_loyer_éligible alors
plafond_équivalence_loyer_éligible
@ -3631,7 +3631,7 @@ les dispositions de l'article D. 832-26.
Le montant ainsi calculé est minoré d'un montant fixé forfaitairement par arrêté.
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition aide_finale état minoration_forfaitaire égal à
si aide_finale -€ montant_forfaitaire_d832_24 >=€ 0€
alors
@ -3643,7 +3643,7 @@ Ce résultat est minoré d'un abattement au titre de la dépense nette minimale,
de calcul sont fixées à l'article D. 832-27.
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition aide_finale état abattement égal à
si aide_finale -€
abattement_dépense_nette_minimale_d832_27 de aide_finale >=€ 0€
@ -3658,7 +3658,7 @@ s'y appliquent, arrondi à l'euro inférieur, puis majoré de ce montant représ
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition aide_finale état contributions_sociales_arrondi
égal à
si
@ -3678,7 +3678,7 @@ Lorsque le montant mensuel de l'aide, calculé selon les modalités précédente
à un montant fixé par arrêté, il n'est pas procédé à son versement.
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition aide_finale état montant_minimal égal à
si aide_finale <€ montant_minimal_aide_d823_24
alors 0 € sinon aide_finale
@ -3695,7 +3695,7 @@ de l'article L. 831-1, et mentionnés au 1° de l'article R. 832-21, le coeffici
selon la formule et les modalités précisées au 2° du présent article.
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition condition_2_du_832_25 égal à
selon mode_occupation sous forme
-- RésidentLogementFoyer de logement_foyer: (
@ -3713,7 +3713,7 @@ champ d'application CalculAidePersonnelleLogementFoyer:
$$\text{K} = 0,95 - \frac{\text{R} - \text{r} \times \text{N}}{\text{cm} \times \text{N}}$$
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition coefficient_prise_en_charge_d832_25 état formule égal à
0,95 -.
((ressources_ménage_arrondies -€
@ -3729,7 +3729,7 @@ calcul le porte à une valeur supérieure à 0,95, il est considéré égal à 0
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition coefficient_prise_en_charge_d832_25 état arrondi égal à
# Cette formule implémente bien l'arrondi à deux décimales par défaut,
# à partir d'un arrondi au plus proche à l'unité.
@ -3761,7 +3761,7 @@ majoration par personne à charge supplémentaire 0,5
------------------------------------------------------------- ---
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition n_nombre_parts_d832_25 égal à
si nombre_personnes_à_charge = 0 alors
selon situation_familiale_calcul_apl sous forme
@ -3786,7 +3786,7 @@ champ d'application CalculAidePersonnelleLogementFoyer:
$$\text{K} = 0,90 - \frac{\text{R}}{\text{cm} \times \text{N}}$$
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
exception définition coefficient_prise_en_charge_d832_25 état formule
sous condition
condition_2_du_832_25
@ -3803,7 +3803,7 @@ lorsque le calcul le porte à une valeur supérieure à 0,90, il est considéré
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
exception définition coefficient_prise_en_charge_d832_25 état arrondi
sous condition
condition_2_du_832_25
@ -3839,7 +3839,7 @@ majoration par personne à charge supplémentaire 0,5
------------------------------------------------------------ ---
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
exception définition n_nombre_parts_d832_25 sous condition
condition_2_du_832_25
conséquence égal à
@ -3870,7 +3870,7 @@ de l'article D. 832-25. Le résultat est majoré du produit d'un montant forfait
nombre de parts " N ", le total étant divisé par douze.
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition tranches_revenus_d832_26_multipliées égal à
application pour tranche dans tranches_revenus_d832_26 de
TrancheRevenu {
@ -3938,7 +3938,7 @@ arrêté selon le type de logements-foyer, l'abattement à effectuer sur le mont
l'aide est égal à la différence constatée.
```catala
champ d'application CalculAidePersonnelleLogementFoyer:
champ d'application CalculAidePersonnaliséeLogementFoyer:
définition dépense_nette_minimale_d832_27 de aide_calculée_1_8_d832_24
égal à
équivalence_loyer_éligible -€ aide_calculée_1_8_d832_24

8
examples/allocations_logement/code_sécurité_sociale.catala_fr
View File

@ -28,7 +28,7 @@ champ d'application OuvertureDroitsRetraite:
date_naissance_assuré >=@ |1955-01-01|
conséquence égal à 62 an
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
définition ouverture_droits_retraite.date_naissance_assuré égal à
demandeur.date_naissance
définition âge_l161_17_2_sécu égal à
@ -68,7 +68,7 @@ plusieurs autres régimes obligatoires :
de cinq années ;
```catala
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
définition âge_l351_8_1_sécu égal à âge_l161_17_2_sécu +^ 5 an
```
@ -135,7 +135,7 @@ concubins ou partenaires liés par un pacte civil de solidarité dépasse ces
plafonds, la ou les allocations sont réduites à due concurrence.
```catala
# Définit ÉligibilitéAidePersonnelleLogement.plafond_individuel_l815_9_sécu,
# Définit ÉligibilitéAidesPersonnelleLogement.plafond_individuel_l815_9_sécu,
# mais valeur dans un décret.
```
@ -233,7 +233,7 @@ janvier 2019 et à 10 838,40 euros par an à compter du 1er janvier 2020 ;
# Uniquement la valeur du plafond individuel est importante pour
# l'éligibilité aux APL.
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
définition plafond_individuel_l815_9_sécu sous condition
date_ouverture_droits >=@ |2018-01-04| et
date_ouverture_droits <@ |2019-01-01|

97
examples/allocations_logement/prologue.catala_fr
View File

@ -8,7 +8,7 @@ dans les sections suivantes.
## Types de données manipulées par le programme
### Calcul et éligibilité de l'aide personnelle au logement
### Calcul et éligibilité de l'aide personnalisée au logement
#### Calcul et éligibilité pour le secteur locatif
@ -34,8 +34,7 @@ déclaration structure InformationsCalculAPLLocatif:
donnée colocation contenu booléen
donnée personne_âgées_ou_handicap_adultes_hébergées_onéreux_particuliers
contenu booléen
# TODO informatique et juridique: calculer type_aide!
donnée type_aide contenu TypeAidePersonnelleLogement
donnée type_aide contenu TypeAidesPersonnelleLogement
donnée réduction_loyer_solidarité contenu argent
```
@ -285,14 +284,7 @@ déclaration énumération ModeOccupationImpayé:
### Éligibilité à l'aide personnelle au logement
```catala-metadata
# TODO informatique (URGENT): créer deux champs d'application différents:
# * ÉligibilitéAidesPersonnellesLogement pour les disposition communes aux trois
# aides (APL, ALS, ALF)
# * ÉligibilitéAidePersonnaliséeLogement pour les disposition qui concernent
# uniquement l'APL.
déclaration champ d'application ÉligibilitéAidePersonnelleLogement:
déclaration champ d'application ÉligibilitéAidesPersonnelleLogement:
entrée ménage contenu Ménage
entrée demandeur contenu Demandeur
entrée sortie date_ouverture_droits contenu date
@ -303,8 +295,6 @@ déclaration champ d'application ÉligibilitéAidePersonnelleLogement:
interne condition_logement_résidence_principale condition
interne condition_logement_mode_occupation condition
interne condition_logement_location_tiers condition
interne condition_logement_bailleur condition
interne condition_logement_prêt condition
interne condition_logement_surface_minimale_sans_seuil_m_carrés
contenu entier
interne condition_logement_surface condition
@ -320,8 +310,6 @@ déclaration champ d'application ÉligibilitéAidePersonnelleLogement:
# Autres variables
interne patrimoine_total_demandeur contenu argent
interne caractéristiques_prêt_l831_1_1 condition dépend de Prêt
interne caractéristiques_prêt_l831_1_6 condition dépend de Prêt
interne nombre_personnes_logement contenu entier
interne usufruit_ou_propriété_famille contenu booléen
interne seuil_l822_3_parts_propriété contenu décimal
@ -335,7 +323,7 @@ déclaration champ d'application ÉligibilitéAidePersonnelleLogement:
ouverture_droits_retraite champ d'application OuvertureDroitsRetraite
sortie éligibilité condition
champ d'application ÉligibilitéAidePersonnelleLogement:
champ d'application ÉligibilitéAidesPersonnelleLogement:
# TODO informatique et juridique: trouver une meilleur place pour mettre
# cette conjonction.
règle éligibilité sous condition
@ -345,6 +333,31 @@ champ d'application ÉligibilitéAidePersonnelleLogement:
conséquence rempli
```
### Éligibilité à l'aide personnalisée au logement
```catala-metadata
déclaration champ d'application ÉligibilitéAidePersonnaliséeLogement:
entrée ménage contenu Ménage
entrée demandeur contenu Demandeur
entrée sortie date_ouverture_droits contenu date
interne condition_logement_bailleur condition
interne condition_logement_prêt condition
interne caractéristiques_prêt_l831_1_1 condition dépend de Prêt
interne caractéristiques_prêt_l831_1_6 condition dépend de Prêt
éligibilité_commune champ d'application ÉligibilitéAidesPersonnelleLogement
sortie éligibilité condition
champ d'application ÉligibilitéAidePersonnaliséeLogement:
définition éligibilité_commune.ménage égal à ménage
définition éligibilité_commune.demandeur égal à demandeur
définition éligibilité_commune.date_ouverture_droits égal à
date_ouverture_droits
```
### Éligibilité aux allocations de logement
```catala-metadata
@ -356,6 +369,7 @@ déclaration énumération ÉligibilitéAllocationLogement:
déclaration champ d'application ÉligibilitéAllocationLogement:
entrée date_courante contenu date
entrée ménage contenu Ménage
entrée demandeur contenu Demandeur
entrée bénéficie_aide_personnelle_logement contenu booléen
entrée mode_occupation contenu ModeOccupation
entrée personne_hébergée_centre_soin_l_L162_22_3_sécurité_sociale
@ -370,9 +384,11 @@ déclaration champ d'application ÉligibilitéAllocationLogement:
interne durée_l841_1_3 contenu durée
prestations_familiales champ d'application ÉligibilitéPrestationsFamiliales
éligibilité_commune champ d'application ÉligibilitéAidesPersonnelleLogement
sortie éligibilité contenu ÉligibilitéAllocationLogement
état dispositions_communes
état l841_2
état avec_condition_logement
@ -386,6 +402,11 @@ champ d'application ÉligibilitéAllocationLogement:
# mer.
définition prestations_familiales.résidence égal à Métropole
définition éligibilité_commune.ménage égal à ménage
définition éligibilité_commune.demandeur égal à demandeur
définition éligibilité_commune.date_ouverture_droits égal à
date_courante
définition éligibilité état avec_condition_logement égal à
si non condition_logement alors
PasÉligible
@ -409,7 +430,7 @@ déclaration champ d'application ÉligibilitéPrimeDeDéménagement:
interne délai_après_emménagement_l823_8_2 contenu durée
interne plafond_d823_22 contenu argent
éligibilité_apl champ d'application ÉligibilitéAidePersonnelleLogement
éligibilité_apl champ d'application ÉligibilitéAidesPersonnelleLogement
base_mensuelle_allocations_familiales champ d'application
BaseMensuelleAllocationsFamiliales
@ -427,7 +448,7 @@ champ d'application ÉligibilitéPrimeDeDéménagement:
### Prise en compte des ressources pour l'aide personnelle au logement
```catala-metadata
déclaration champ d'application RessourcesAidePersonnelleLogement:
déclaration champ d'application RessourcesAidesPersonnelleLogement:
entrée ressources_demandeur contenu argent
entrée ressources_conjoint contenu argent
entrée personnes_vivant_habituellement_foyer contenu
@ -463,10 +484,10 @@ déclaration champ d'application RessourcesAidePersonnelleLogement:
### Calcul des contributions sociales s'appliquant à l'aide personnelle au logement
```catala-metadata
déclaration champ d'application ContributionsSocialesAidePersonnelleLogement:
déclaration champ d'application ContributionsSocialesAidesPersonnelleLogement:
sortie montant contenu argent dépend de argent
champ d'application ContributionsSocialesAidePersonnelleLogement:
champ d'application ContributionsSocialesAidesPersonnelleLogement:
# TODO juridique: mettre ce bout de code à côté des articles de loi qui le
# justifient. (Pas de CSG mais la CRDS pour les APL)
définition montant de aide_finale égal à
@ -478,7 +499,7 @@ champ d'application ContributionsSocialesAidePersonnelleLogement:
#### Secteur locatif
```catala-metadata
déclaration champ d'application CalculAidePersonnelleLogementLocatif:
déclaration champ d'application CalculAidePersonnaliséeLogementLocatif:
entrée loyer_principal contenu argent
entrée ressources_ménage_arrondies contenu argent
entrée bénéficiaire_aide_adulte_ou_enfant_handicapés
@ -490,7 +511,7 @@ déclaration champ d'application CalculAidePersonnelleLogementLocatif:
entrée logement_est_chambre contenu booléen
entrée personne_âgées_ou_handicap_adultes_hébergées_onéreux_particuliers
contenu booléen
entrée type_aide contenu TypeAidePersonnelleLogement
entrée type_aide contenu TypeAidesPersonnelleLogement
entrée colocation contenu booléen
entrée réduction_loyer_solidarité contenu argent
@ -515,7 +536,7 @@ déclaration champ d'application CalculAidePersonnelleLogementLocatif:
sortie participation_personnelle contenu argent
contributions_sociales champ d'application
ContributionsSocialesAidePersonnelleLogement
ContributionsSocialesAidesPersonnelleLogement
sortie aide_finale contenu argent
état formule
@ -529,7 +550,7 @@ déclaration champ d'application CalculAidePersonnelleLogementLocatif:
#### Secteur logement-foyer
```catala-metadata
déclaration champ d'application CalculAidePersonnelleLogementFoyer:
déclaration champ d'application CalculAidePersonnaliséeLogementFoyer:
entrée mode_occupation contenu ModeOccupation
entrée ressources_ménage_arrondies contenu argent
entrée nombre_personnes_à_charge contenu entier
@ -556,7 +577,7 @@ déclaration champ d'application CalculAidePersonnelleLogementFoyer:
interne tranches_revenus_d832_26_multipliées contenu collection TrancheRevenu
contributions_sociales champ d'application
ContributionsSocialesAidePersonnelleLogement
ContributionsSocialesAidesPersonnelleLogement
sortie coefficient_prise_en_charge_d832_25 contenu décimal
état formule
@ -575,7 +596,7 @@ déclaration champ d'application CalculAidePersonnelleLogementFoyer:
```catala-metadata
déclaration champ d'application
CalculAidePersonnelleLogementAccessionPropriété:
CalculAidePersonnaliséeLogementAccessionPropriété:
entrée mensualité_principale contenu argent
entrée ressources_ménage_arrondies contenu argent
entrée nombre_personnes_à_charge contenu entier
@ -619,7 +640,7 @@ déclaration champ d'application
interne taux_francs_vers_euros contenu décimal
contributions_sociales champ d'application
ContributionsSocialesAidePersonnelleLogement
ContributionsSocialesAidesPersonnelleLogement
sortie aide_finale contenu argent
état formule
@ -632,7 +653,7 @@ déclaration champ d'application
#### Tous secteurs
```catala-metadata
déclaration champ d'application CalculAidePersonnelleLogement:
déclaration champ d'application CalculAidePersonnaliséeLogement:
entrée mode_occupation contenu ModeOccupation
entrée informations_calcul contenu InformationsCalculAPL
entrée ressources_ménage contenu argent
@ -646,10 +667,10 @@ déclaration champ d'application CalculAidePersonnelleLogement:
interne catégorie_calcul_apl contenu CatégorieCalculAPL
interne situation_familiale_calcul_apl contenu SituationFamilialeCalculAPL
locatif champ d'application CalculAidePersonnelleLogementLocatif
logement_foyer champ d'application CalculAidePersonnelleLogementFoyer
locatif champ d'application CalculAidePersonnaliséeLogementLocatif
logement_foyer champ d'application CalculAidePersonnaliséeLogementFoyer
accession_propriété champ d'application
CalculAidePersonnelleLogementAccessionPropriété
CalculAidePersonnaliséeLogementAccessionPropriété
sortie aide_finale contenu argent
```
@ -681,7 +702,7 @@ déclaration champ d'application CalculAllocationLogementLocatif:
entrée logement_est_chambre contenu booléen
entrée personne_âgées_ou_handicap_adultes_hébergées_onéreux_particuliers
contenu booléen
entrée type_aide contenu TypeAidePersonnelleLogement
entrée type_aide contenu TypeAidesPersonnelleLogement
entrée colocation contenu booléen
entrée réduction_loyer_solidarité contenu argent
@ -689,7 +710,7 @@ déclaration champ d'application CalculAllocationLogementLocatif:
entrée logement_meublé_d842_2 contenu booléen
entrée changement_logement_d842_4 contenu ChangementLogementD842_4
calcul_apl_locatif champ d'application CalculAidePersonnelleLogementLocatif
calcul_apl_locatif champ d'application CalculAidePersonnaliséeLogementLocatif
sortie aide_finale contenu argent
@ -766,9 +787,9 @@ déclaration champ d'application CalculAllocationLogementAccessionPropriété:
interne coefficient_d842_12 contenu décimal
calcul_apl_logement_foyer champ d'application
CalculAidePersonnelleLogementFoyer
CalculAidePersonnaliséeLogementFoyer
contributions_sociales champ d'application
ContributionsSocialesAidePersonnelleLogement
ContributionsSocialesAidesPersonnelleLogement
sortie allocation_mensuelle contenu argent
état formule
@ -838,9 +859,9 @@ déclaration champ d'application CalculAllocationLogementFoyer:
sortie loyer_minimal contenu argent
calcul_apl_logement_foyer champ d'application
CalculAidePersonnelleLogementFoyer
CalculAidePersonnaliséeLogementFoyer
contributions_sociales champ d'application
ContributionsSocialesAidePersonnelleLogement
ContributionsSocialesAidesPersonnelleLogement
sortie allocation_mensuelle contenu argent
état formule
@ -852,8 +873,6 @@ déclaration champ d'application CalculAllocationLogementFoyer:
champ d'application CalculAllocationLogementFoyer:
définition calcul_apl_logement_foyer.mode_occupation égal à
# TODO informatique: refactoriser calcul_apl_logement_foyer.mode_occupation
# pour ne garder que LogementFoyer
RésidentLogementFoyer contenu logement_foyer
définition calcul_apl_logement_foyer.redevance égal à
redevance

16
examples/allocations_logement/tests/tests_calcul_apl_accession_propriete.catala_fr
View File

@ -2,24 +2,24 @@
# Tests
```catala
```catala
déclaration champ d'application Exemple1:
calcul champ d'application CalculAidePersonnelleLogementAccessionPropriété
calcul champ d'application CalculAidePersonnaliséeLogementAccessionPropriété
champ d'application Exemple1:
définition calcul.mensualité_principale égal à 650 €
définition calcul.ressources_ménage_arrondies égal à 10 000 €
définition calcul.nombre_personnes_à_charge égal à 3
définition calcul.situation_familiale_calcul_apl égal à Couple
définition calcul.situation_familiale_calcul_apl égal à Couple
définition calcul.type_travaux_logement égal à SurLogementExistant
définition calcul.date_signature_prêt égal à |2001-03-02|
définition calcul.local_habité_première_fois_bénéficiaire égal à vrai
définition calcul.local_habité_première_fois_bénéficiaire égal à vrai
définition calcul.date_entrée_logement égal à |2001-06-24|
définition calcul.copropriété égal à faux
définition calcul.situation_r822_11_13_17 égal à vrai
définition calcul.équivalence_minimale_loyer égal à 0 €
définition calcul.copropriété égal à faux
définition calcul.situation_r822_11_13_17 égal à vrai
définition calcul.équivalence_minimale_loyer égal à 0 €
# Ne sert à rien car pas de travaux, TODO juridique à calculer à la main sinon
définition calcul.zone égal à Zone3
définition calcul.type_prêt égal à D331_63_64
définition calcul.ancienneté_logement égal à Ancien contenu (AmélioréParOccupant.Non)

16
examples/allocations_logement/tests/tests_calcul_apl_locatif.catala_fr
View File

@ -4,7 +4,7 @@
```catala
déclaration champ d'application Exemple1 :
calcul champ d'application CalculAidePersonnelleLogementLocatif
calcul champ d'application CalculAidePersonnaliséeLogementLocatif
sortie montant contenu argent
champ d'application Exemple1:
@ -34,7 +34,7 @@ champ d'application Exemple1:
```catala
déclaration champ d'application Exemple2 :
calcul champ d'application CalculAidePersonnelleLogementLocatif
calcul champ d'application CalculAidePersonnaliséeLogementLocatif
sortie montant contenu argent
champ d'application Exemple2:
@ -63,7 +63,7 @@ champ d'application Exemple2:
```catala
déclaration champ d'application Exemple3 :
calcul champ d'application CalculAidePersonnelleLogementLocatif
calcul champ d'application CalculAidePersonnaliséeLogementLocatif
sortie montant contenu argent
champ d'application Exemple3:
@ -92,7 +92,7 @@ champ d'application Exemple3:
```catala
déclaration champ d'application Exemple4 :
calcul champ d'application CalculAidePersonnelleLogementLocatif
calcul champ d'application CalculAidePersonnaliséeLogementLocatif
sortie montant contenu argent
champ d'application Exemple4:
@ -121,7 +121,7 @@ champ d'application Exemple4:
```catala
déclaration champ d'application Exemple5 :
calcul champ d'application CalculAidePersonnelleLogementLocatif
calcul champ d'application CalculAidePersonnaliséeLogementLocatif
sortie montant contenu argent
champ d'application Exemple5:
@ -150,7 +150,7 @@ champ d'application Exemple5:
```catala
déclaration champ d'application Exemple6 :
calcul champ d'application CalculAidePersonnelleLogementLocatif
calcul champ d'application CalculAidePersonnaliséeLogementLocatif
sortie montant contenu argent
champ d'application Exemple6:
@ -179,7 +179,7 @@ champ d'application Exemple6:
```catala
déclaration champ d'application Exemple7 :
calcul champ d'application CalculAidePersonnelleLogementLocatif
calcul champ d'application CalculAidePersonnaliséeLogementLocatif
sortie montant contenu argent
champ d'application Exemple7:
@ -208,7 +208,7 @@ champ d'application Exemple7:
```catala
déclaration champ d'application Exemple8 :
calcul champ d'application CalculAidePersonnelleLogementLocatif
calcul champ d'application CalculAidePersonnaliséeLogementLocatif
sortie montant contenu argent
champ d'application Exemple8:

2
examples/allocations_logement/tests/tests_calcul_apl_logement_foyer.catala_fr
View File

@ -4,7 +4,7 @@
```catala
déclaration champ d'application CasTest1 :
calcul champ d'application CalculAidePersonnelleLogementFoyer
calcul champ d'application CalculAidePersonnaliséeLogementFoyer
sortie montant contenu argent
champ d'application CasTest1:

6
examples/allocations_logement/tests/tests_eligibilite_apl.catala_fr
View File

@ -4,7 +4,7 @@
```catala
déclaration champ d'application Exemple1 :
éligibilité champ d'application ÉligibilitéAidePersonnelleLogement
éligibilité champ d'application ÉligibilitéAidePersonnaliséeLogement
sortie éligible contenu booléen
champ d'application Exemple1 :
@ -89,7 +89,7 @@ assertion éligible
}
# déclaration champ d'application Exemple2 :
# éligibilité champ d'application ÉligibilitéAidePersonnelleLogement
# éligibilité champ d'application ÉligibilitéAidesPersonnelleLogement
# sortie éligible contenu booléen
# champ d'application Exemple2 :
@ -139,7 +139,7 @@ assertion éligible
# }
# déclaration champ d'application Exemple3 :
# éligibilité champ d'application ÉligibilitéAidePersonnelleLogement
# éligibilité champ d'application ÉligibilitéAidesPersonnelleLogement
# sortie éligible contenu booléen
# champ d'application Exemple3 :