Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion aides_logement/autres_sources.catala_fr
Original file line number Diff line number Diff line change
Expand Up @@ -307,7 +307,7 @@ champ d'application CalculetteAidesAuLogementGardeAlternée:
)
* (
(
somme décimal de coefficients_enfants_garde_alternée_pris_en_compte
Décimal.somme de coefficients_enfants_garde_alternée_pris_en_compte
)
/ (
décimal de
Expand Down
4 changes: 2 additions & 2 deletions aides_logement/code_construction_reglementaire.catala_fr
Original file line number Diff line number Diff line change
Expand Up @@ -4201,7 +4201,7 @@ champ d'application CalculÉquivalenceLoyerMinimale:
(
(
(
somme décimal de (
Décimal.somme de (
transforme chaque tranche parmi tranches_revenus_d832_26_multipliées en
(
si ressources_ménage_arrondies <= tranche.bas alors 0,0
Expand Down Expand Up @@ -4251,7 +4251,7 @@ champ d'application CalculÉquivalenceLoyerMinimale:
(
(
(
somme décimal de (
Décimal.somme de (
transforme chaque tranche parmi tranches_revenus_d832_26_multipliées en
(
si ressources_ménage_arrondies <= tranche.bas alors 0,0
Expand Down
2 changes: 1 addition & 1 deletion allocations_familiales/epilogue.catala_fr
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ champ d'application AllocationsFamiliales:
si droit_ouvert_base alors montant_avec_garde_alternée_base sinon 0€
définition montant_versé_majoration égal à
si droit_ouvert_base alors
somme argent de
Argent.somme de
transforme chaque enfant parmi enfants_à_charge en montant_avec_garde_alternée_majoration de enfant
sinon 0€

Expand Down
2 changes: 1 addition & 1 deletion allocations_familiales/securite_sociale_R.catala_fr
Original file line number Diff line number Diff line change
Expand Up @@ -139,7 +139,7 @@ du nombre d'enfants à charge dans les conditions suivantes :
```catala
champ d'application AllocationsFamiliales:
définition nombre_moyen_enfants égal à
somme décimal de (
Décimal.somme de (
transforme chaque enfant parmi enfants_à_charge_droit_ouvert_prestation_familiale en
selon (prise_en_compte de enfant) sous forme
-- Complète : 1,0
Expand Down
28 changes: 14 additions & 14 deletions asp/bcae7/fiche_technique_BCAE7_2025.catala_fr
Original file line number Diff line number Diff line change
Expand Up @@ -69,7 +69,7 @@ champ d'application ConditionnalitéBCAE7Pour2025:
```catala
champ d'application ConditionnalitéBCAE7Pour2025:
définition surface_terres_arables_hectares égal à
somme décimal de transforme chaque parcelle parmi terres_arables en
Décimal.somme de transforme chaque parcelle parmi terres_arables en
parcelle.surface_hectares

règle exempté_respect
Expand All @@ -86,7 +86,7 @@ champ d'application ConditionnalitéBCAE7Pour2025:
règle exempté_respect
sous condition
soit surface_herbes_hectares égal à
somme décimal de transforme chaque parcelle parmi terres_arables en
Décimal.somme de transforme chaque parcelle parmi terres_arables en
# TODO: Quelle date de réference utiliser pour déterminer ce critère ?
(
selon (culture_date de parcelle.cultures, |2025-01-01|) sous forme
Expand Down Expand Up @@ -117,7 +117,7 @@ champ d'application ConditionnalitéBCAE7Pour2025:
règle exempté_respect
sous condition
soit surface_herbes_hectares égal à
somme décimal de transforme chaque parcelle parmi terres_arables en
Décimal.somme de transforme chaque parcelle parmi terres_arables en
# TODO: Quelle date de réference utiliser pour déterminer ce critère ?
(
selon (culture_date de parcelle.cultures, |2025-01-01|) sous forme
Expand Down Expand Up @@ -466,7 +466,7 @@ champ d'application ConditionnalitéBCAE7Pour2025:
}

définition surface_terres_arables_cultivées_hectares égal à
somme décimal de transforme chaque parcelle
Décimal.somme de transforme chaque parcelle
parmi terres_arables_cultivées en
parcelle.surface_hectares

Expand Down Expand Up @@ -827,7 +827,7 @@ champ d'application ConditionnalitéBCAE7Pour2025:
rotation_satisfaite
dans
soit surface_culture_principale égal à
somme décimal de transforme chaque parcelle
Décimal.somme de transforme chaque parcelle
parmi terres_arables_cultivées en
soit culture_courante égal à
# TODO: quelle date prendre en compte ici ?
Expand Down Expand Up @@ -955,7 +955,7 @@ champ d'application ConditionnalitéBCAE7Pour2025:
# et les deux cultures principales ne couvrant pas, ensemble, plus de 95 %
# des terres arables.
# TODO comment implémenter plusieurs cultures principales ?
somme décimal de transforme chaque parcelle
Décimal.somme de transforme chaque parcelle
parmi terres_arables_cultivées en
soit culture_courante égal à
# TODO: quelle date prendre en compte ici ?
Expand Down Expand Up @@ -1862,7 +1862,7 @@ champ d'application ConditionnalitéBCAE7Pour2025:
état prairie_temporaires_jachères
égal à
soit surface_prairies_temporaires_jachères égal à
somme décimal de transforme chaque parcelle parmi terres_arables en
Décimal.somme de transforme chaque parcelle parmi terres_arables en
soit culture égal à
# TODO: quelle date prendre en compte ici ?
culture_date de (parcelle.cultures, |2025-07-01|)
Expand Down Expand Up @@ -1897,7 +1897,7 @@ champ d'application ConditionnalitéBCAE7Pour2025:
état légumineuses
égal à
soit surfaces_légumineuses_hectares égal à
somme décimal de transforme chaque parcelle parmi terres_arables en
Décimal.somme de transforme chaque parcelle parmi terres_arables en
soit culture égal à
# TODO: quelle date prendre en compte ici ?
culture_date de (parcelle.cultures, |2025-07-01|)
Expand Down Expand Up @@ -1951,7 +1951,7 @@ champ d'application ConditionnalitéBCAE7Pour2025:
```catala
champ d'application ConditionnalitéBCAE7Pour2025:
définition surfaces_céréales_hiver_hectares égal à
somme décimal de transforme chaque parcelle parmi terres_arables en
Décimal.somme de transforme chaque parcelle parmi terres_arables en
soit culture égal à
# TODO: quelle date prendre en compte ici ?
culture_date de (parcelle.cultures, |2025-07-01|)
Expand Down Expand Up @@ -1988,7 +1988,7 @@ champ d'application ConditionnalitéBCAE7Pour2025:
champ d'application ConditionnalitéBCAE7Pour2025:

définition surfaces_céréales_printemps_hectares égal à
somme décimal de transforme chaque parcelle parmi terres_arables en
Décimal.somme de transforme chaque parcelle parmi terres_arables en
soit culture égal à
# TODO: quelle date prendre en compte ici ?
culture_date de (parcelle.cultures, |2025-07-01|)
Expand Down Expand Up @@ -2026,7 +2026,7 @@ champ d'application ConditionnalitéBCAE7Pour2025:
```catala
champ d'application ConditionnalitéBCAE7Pour2025:
définition surfaces_plantes_sarclées_hectares égal à
somme décimal de transforme chaque parcelle parmi terres_arables en
Décimal.somme de transforme chaque parcelle parmi terres_arables en
soit culture égal à
# TODO: quelle date prendre en compte ici ?
culture_date de (parcelle.cultures, |2025-07-01|)
Expand Down Expand Up @@ -2056,7 +2056,7 @@ champ d'application ConditionnalitéBCAE7Pour2025:
```catala
champ d'application ConditionnalitéBCAE7Pour2025:
définition surfaces_oléagineux_hiver_hectares égal à
somme décimal de transforme chaque parcelle parmi terres_arables en
Décimal.somme de transforme chaque parcelle parmi terres_arables en
soit culture égal à
# TODO: quelle date prendre en compte ici ?
culture_date de (parcelle.cultures, |2025-07-01|)
Expand Down Expand Up @@ -2087,7 +2087,7 @@ champ d'application ConditionnalitéBCAE7Pour2025:
```catala
champ d'application ConditionnalitéBCAE7Pour2025:
définition surfaces_oléagineux_printemps_hectares égal à
somme décimal de transforme chaque parcelle parmi terres_arables en
Décimal.somme de transforme chaque parcelle parmi terres_arables en
soit culture égal à
# TODO: quelle date prendre en compte ici ?
culture_date de (parcelle.cultures, |2025-07-01|)
Expand Down Expand Up @@ -2180,7 +2180,7 @@ champ d'application ConditionnalitéBCAE7Pour2025:
état autres_cultures
égal à
soit surface_autres_cultures_hectares égal à
somme décimal de transforme chaque parcelle parmi terres_arables en
Décimal.somme de transforme chaque parcelle parmi terres_arables en
soit culture égal à
# TODO: quelle date prendre en compte ici ?
culture_date de (parcelle.cultures, |2025-07-01|)
Expand Down
2 changes: 1 addition & 1 deletion asp/bcae7/prologue.catala_fr
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ déclaration surface_parcelles_hectares
contenu décimal
dépend de parcelles contenu liste de ParcelleTerreArable
égal à
somme décimal de transforme chaque parcelle parmi parcelles en
Décimal.somme de transforme chaque parcelle parmi parcelles en
parcelle.surface_hectares

déclaration culture_date
Expand Down
2 changes: 1 addition & 1 deletion droit_successions/droit_successions.catala_fr
Original file line number Diff line number Diff line change
Expand Up @@ -139,7 +139,7 @@ disponible.
champ d'application RéserveHéréditaire:
définition patrimoine_assiette_réserve_héréditaire égal à
patrimoine_total
- somme argent de (
- Argent.somme de (
transforme chaque bien parmi biens_usufruit_rente_viagère en
si bien.prise_en_compte_pour_réserve_héréditaire alors
0 €
Expand Down
48 changes: 24 additions & 24 deletions impot_revenu/cgi_revenus.catala_fr
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,7 @@ champ d'application TraitementsSalairesFoyerFiscal:
solde_revenu_brut_global_hors_quotient_avant_déficit_quotient
égal à
(
somme argent de
Argent.somme de
transforme chaque résultats
parmi déclarations_avec_résultats_traitements_salaires en
résultats.revenu_brut_déclarant_hors_quotient
Expand Down Expand Up @@ -181,13 +181,13 @@ champ d'application BénéficesNonCommerciauxFoyerFiscal:
définition solde_net_global_non_professionnel
état agrégation
égal à
somme argent de
Argent.somme de
transforme chaque résultat_liquidation
parmi résultats_liquidation_bénéfices_non_commerciaux en
résultat_liquidation.solde_net_non_professionnel

définition solde_net_global_professionnel égal à
somme argent de
Argent.somme de
transforme chaque résultat_liquidation
parmi résultats_liquidation_bénéfices_non_commerciaux en
résultat_liquidation.solde_net_professionnel
Expand All @@ -214,21 +214,21 @@ champ d'application BénéficesIndustrielsCommerciauxFoyerFiscal:
définition solde_net_global_non_professionnel_hors_locations_meublées
état agrégation
égal à
somme argent de
Argent.somme de
transforme chaque résultat_liquidation
parmi résultats_liquidation_bénéfices_industriels_commerciaux en
résultat_liquidation.solde_net_non_professionnel_hors_locations_meublées

définition solde_net_global_professionnel égal à
somme argent de
Argent.somme de
transforme chaque résultat_liquidation
parmi résultats_liquidation_bénéfices_industriels_commerciaux en
résultat_liquidation.solde_net_professionnel

définition solde_net_global_non_professionnel_locations_meublées
état agrégation
égal à
somme argent de
Argent.somme de
transforme chaque résultat_liquidation
parmi résultats_liquidation_bénéfices_industriels_commerciaux en
résultat_liquidation.solde_net_non_professionnel_locations_meublées
Expand Down Expand Up @@ -952,20 +952,20 @@ champ d'application BénéficesIndustrielsCommerciauxDéclarant:
définition assiette_abattement_forfaitaire_micro_marchandises égal à
revenus.professionnels.revenus_imposables_micro_marchandises
+ (
somme argent de
Argent.somme de
transforme chaque revenu_exceptionnel_ou_différé
parmi revenus_exceptionnels_professionnels_abattement_micro_marchandises en
revenu_exceptionnel_ou_différé.valeur
)
+ revenus.non_professionnels.généraux.revenus_imposables_micro_marchandises
+ (
somme argent de
Argent.somme de
transforme chaque revenu_exceptionnel_ou_différé
parmi revenus_exceptionnels_non_professionnels_abattement_micro_marchandises en
revenu_exceptionnel_ou_différé.valeur
)
+ (
somme argent de transforme chaque revenu_exceptionnel_ou_différé
Argent.somme de transforme chaque revenu_exceptionnel_ou_différé
parmi revenus_exceptionnels_non_professionnels_locations_meublées_rurales_spéciales en
revenu_exceptionnel_ou_différé.valeur
)
Expand Down Expand Up @@ -1053,14 +1053,14 @@ champ d'application BénéficesIndustrielsCommerciauxDéclarant:
définition assiette_abattement_forfaitaire_micro_services égal à
revenus.professionnels.revenus_imposables_micro_services
+ (
somme argent de
Argent.somme de
transforme chaque revenu_exceptionnel_ou_différé
parmi revenus_exceptionnels_professionnels_abattement_micro_services en
revenu_exceptionnel_ou_différé.valeur
)
+ revenus.non_professionnels.généraux.revenus_imposables_micro_services
+ (
somme argent de transforme chaque revenu_exceptionnel_ou_différé
Argent.somme de transforme chaque revenu_exceptionnel_ou_différé
parmi revenus_exceptionnels_non_professionnels_abattement_micro_services en
revenu_exceptionnel_ou_différé.valeur
)
Expand Down Expand Up @@ -1134,7 +1134,7 @@ champ d'application BénéficesIndustrielsCommerciauxDéclarant:
égal à
revenus.non_professionnels.locations_meublées_micro_classées_rurales_spéciales
+ revenus.non_professionnels.locations_meublées_micro_cotisations_classées_rurales_spéciales
+ somme argent de transforme chaque revenu_exceptionnel_ou_différé
+ Argent.somme de transforme chaque revenu_exceptionnel_ou_différé
parmi revenus_exceptionnels_non_professionnels_locations_meublées_rurales_spéciales en
revenu_exceptionnel_ou_différé.valeur

Expand Down Expand Up @@ -2356,7 +2356,7 @@ champ d'application TraitementsSalairesDéclarant:
état non_plafonnée_83_3_2
égal à
(
somme argent de
Argent.somme de
transforme chaque r_quotienté parmi revenus.revenus_exceptionnels_ou_différés en
(
selon r_quotienté.catégorie sous forme
Expand Down Expand Up @@ -2393,7 +2393,7 @@ champ d'application TraitementsSalairesDéclarant:
# en compte des frais réels pour prendre en compte la dernière étape
# de calcul où l'on applique les frais réels.
déduction_frais_professionnels_totale
- somme argent de transforme chaque r_quotienté parmi revenus_quotientés en
- Argent.somme de transforme chaque r_quotienté parmi revenus_quotientés en
(
selon r_quotienté.catégorie sous forme
-- TraitementsSalaires : r_quotienté.déduction
Expand Down Expand Up @@ -2577,7 +2577,7 @@ champ d'application TraitementsSalairesDéclarant:
revenu_quotienté
/ (
traitements_salaires_avec_déduction_frais_professionnels
+ somme argent de
+ Argent.somme de
transforme chaque autre_revenu_quotienté
parmi revenus.revenus_exceptionnels_ou_différés en
(
Expand Down Expand Up @@ -2993,9 +2993,9 @@ champ d'application BénéficesNonCommerciauxDéclarant:

définition assiette_abattement_forfaitaire_micro_total égal à
revenus.professionnels.généraux.revenus_imposables_micro
+ (somme argent de transforme chaque revenu parmi revenus_exceptionnels_professionnels_abattement_micro en revenu.valeur)
+ (Argent.somme de transforme chaque revenu parmi revenus_exceptionnels_professionnels_abattement_micro en revenu.valeur)
+ revenus.non_professionnels.généraux.revenus_imposables_micro
+ somme argent de transforme chaque revenu
+ Argent.somme de transforme chaque revenu
parmi revenus_exceptionnels_non_professionnels_abattement_micro en
revenu.valeur

Expand Down Expand Up @@ -3397,11 +3397,11 @@ champ d'application ImputationDéficitSurRevenusQuotientés:
# quotients au global prenant également les revenus au quotients nettement
# négatifs ? [Denis : normalement pas de revenu négatif...]
définition base_d_imputation_déficit_catégoriel égal à
somme argent de
Argent.somme de
transforme chaque revenus_quotientés_catégoriels_déclarant
parmi revenus_quotientés_catégoriels en
(
somme argent de transforme chaque revenu_quotienté_catégoriel
Argent.somme de transforme chaque revenu_quotienté_catégoriel
parmi revenus_quotientés_catégoriels_déclarant en
revenu_quotienté_catégoriel.valeur_nette
)
Expand Down Expand Up @@ -4166,13 +4166,13 @@ champ d'application TraitementsSalairesDéclarant:
définition
abattement_pensions_retraites_rentes_total_non_plafonné
égal à
somme argent de (
Argent.somme de (
transforme chaque p parmi pensions_retraites_rentes_79 en
si abattement_selon_158_5_a de p.type_pension alors
calcul_abattement_pensions_retraites_rentes de p.valeur_initiale
sinon 0 €
)
+ somme argent de (
+ Argent.somme de (
transforme chaque r_quotienté parmi revenus.revenus_exceptionnels_ou_différés en
selon r_quotienté.catégorie sous forme
-- CatégorieRevenuExceptionnelOuDifféré.PensionsRetraitesRentes :
Expand Down Expand Up @@ -4219,7 +4219,7 @@ champ d'application TraitementsSalairesDéclarant:
égal à
abattement_pensions_retraites_rentes_total_plafonné
- (
somme argent de
Argent.somme de
transforme chaque r_quotienté parmi revenus_quotientés en
(
selon r_quotienté.catégorie sous forme
Expand Down Expand Up @@ -4250,7 +4250,7 @@ champ d'application TraitementsSalairesFoyerFiscal:
# Une fois la liquidation faite, nous pouvons aggréger les abattements
# sur tout le foyer fiscal.
définition abbattement_total_déplafonné_pensions_retraites_rentes égal à
somme argent de
Argent.somme de
transforme chaque résultats
parmi résultats_liquidations_plafond_pensions_retraites_rentes en
résultats.abattement_pensions_retraites_rentes
Expand Down Expand Up @@ -4487,7 +4487,7 @@ champ d'application TraitementsSalairesFoyerFiscal:
définition rentes_viagères_titre_onéreux
état base
égal à
somme argent de
Argent.somme de
transforme chaque rente_viagère
parmi [
RenteViagèreOnéreux {
Expand Down
2 changes: 1 addition & 1 deletion impot_revenu/modèle_convention_fiscale_ocde.catala_fr
Original file line number Diff line number Diff line change
Expand Up @@ -84,7 +84,7 @@ champ d'application TraitementsSalairesFoyerFiscal:
état étrangères_imputables
égal à
rentes_viagères_titre_onéreux
+ somme argent de (
+ Argent.somme de (
transforme chaque rente_viagère
parmi [
RenteViagèreOnéreux {
Expand Down
Loading
Loading