LexImpact allows civil servants, policy makers and citizens to simulate the ex ante impact of a reform to a country's tax-benefit system.
LexImpact permet aux administrations, aux parlementaires et à la société civile de simuler l'impact ex ante des réformes au système socio-fiscal.
Leximpact est constitué de deux parties :
Pour Docker voir docker/README.md.
Cette application requiert au minimum Python 3.7 (Python 3.8 fonctionne) et pip.
Plateformes supportées :
Pour les autres OS : si vous pouvez exécuter Python et Numpy, l'installation de LexImpact-Server devrait fonctionner.
Le serveur d'API nécessite libyaml, dhf5 et PostgreSQL, d'autres moteurs de bases de données peuvent théoriquement être utilisés sans modification.
brew install hdf5
brew install libyaml
apt-get -y install libyaml-dev libhdf5-serial-dev postgresql-client python3 make git python3-pip
apt install postgresql postgresql-contrib
On cree un user UNIX
adduser leximpact
On crée le même user dans la base avec le droit de creer une base :
sudo -u postgres createuser -d -P leximpact
On crée la base :
sudo -u leximpact createdb -T template0 -E utf8 -O leximpact leximpact
Ce sont ces informations qu'il faudra reprendre dans le fichier .env.
Si vous souhaitez rendre accessible l'API depuis l'extérieur, vous pouvez utiliser la configuration nginx suivante :
nano /etc/nginx/conf.d/leximpactserver.conf
server {
server_name <VOTRE NOM DE DOMAINE>;
access_log /var/log/nginx/leximpactserver.log combined_time;
location / {
proxy_pass http://localhost:5000/;
proxy_set_header Host $host;
proxy_set_header X-Real-IP $remote_addr;
proxy_set_header X-Forwarded-Host $host;
proxy_set_header X-Forwarded-Server $host;
proxy_set_header X-Forwarded-For $proxy_add_x_forwarded_for;
proxy_set_header X-Forwarded-Proto $scheme;
proxy_set_header X-Real-IP $remote_addr;
client_max_body_size 16M;
}
}
certbot --nginx -d <VOTRE NOM DE DOMAINE>
Nous recommandons l'utilisation d'un environnement virtuel (virtualenv) avec un gestionnaire de virtualenv tel que Pyenv.
Pour installer Pyenv (macOS), lancez une fenêtre de terminal et suivez ces instructions :
brew update
brew install pyenv
brew install pyenv-virtualenv
echo 'eval "$(pyenv init -)"' >> ~/.bash_profile
echo 'eval "$(pyenv virtualenv-init -)"' >> ~/.bash_profile
exec "$SHELL"
Créez un nouveau virtualenv nommé leximpact-server et configurez-le avec python 3.7 :
pyenv install 3.7.3
pyenv virtualenv 3.7.3 leximpact-server-3.7.3
pyenv activate leximpact-server-3.7.3
Le virtualenv leximpact-server sera alors activé, c'est-à-dire que les commandes suivantes s'exécuteront directement dans l'environnement virtuel.
Bravo :tada: Vous êtes prêt·e à installer LexImpact-Server !
Pour installer LexImpact-Server, dans votre fenêtre de terminal :
make install
ou sous Windows
pip install --editable .[dev]
🎉 Félicitations LexImpact-Server est prêt à être utilisé !
.env
ℹ️ Uniquement nécessaire dans le cas où les données sur la population sont utilisées (fonctionnalité simpop). En l'absence d'utilisation de ces fonctionnalités (i.e. les endpoints auth et simpop), il devrait être possible de faire tourner Leximpact-server sans base de données ni fichier .env
.
Pour lancer LexImpact-Server, vous devez tout d'abord créer un fichier de configuration .env
. Le fichier .env.example
contient un exemple de fichier de configuration .env
, les champs y apparaissant sont :
DATABASE_*
: décrit la configuration de la base de données, leximpact-server doit avoit un accès à une base de données postgres lui permettant de se comporter correctement. Ces variables ne sont pas nécessaires dans Scalingo car elles sont remplacées par une descriptions de la base de données automatiquement insérée par Scalingo dans les variables
DATABASE_URL et SCALINGO_POSTGRESQL_URL. JWT_*
: Décrit les caractéristique du JSON Web Token. JWT_SECRET
est une clef privée, JWT_AUDIENCE
et JWT_ISSUER
sont vérifiés quand le token est vérifié, mais peut être lu par quiconque a un token (car ces derniers ne sont pas chiffrés, mais juste signés par une clef privée) MAILJET_*
: données d'authentification pour Mailjet, qui est utilisé pour envoyer les emails contenant les liens de connexion.POPULATION_TABLE_PATH
: Les données de population prises en compte dans la simulation du budget de l'État. Peut contenir un nom de fichier (.csv ou .h5) ou un nom de table dans la base SQL. Cette source de données sera importée. Un exemple de fichier fonctionnnant comme source de données situé dans le dépôt est DCT.csv
. Des fonctions pour calibrer une source de données en fonction des données existantes de la population française sont disponibles dans le fichier sous ./scripts
(utilisés notamment dans le script TransformData.py
) NAME_TABLE_BASE_RESULTS
: Table SQL, générée par le script generate_default_results.csv, qui contient les résultats de la population pour les calculs réutilisés (i.e. code existant et PLF) utilisée pour économiser du temps de calcul.RECETTES_ETAT_EURO
: Valeur (entière) représentant le montant total de l'impôt attendu avec le code existant. Les résultats sur l'échantillon de population sont ajustés pour matcher cet ordre de grandeur pour le code existant. Si la valeur n'est pas spécifiée, aucun ajustement n'a lieu sur les résultats bruts de la simulation.YEAR_COMPUTATION
: Année de calcul : les revenus des cas-types et de la population seront supposés survenir l'année spécifiée, et seront donc taxés aux taux applicables cette année là.PLF_PATH
: Contient le chemin où l'on peut trouver un dictionnaire représentant la réforme. Un plf_path écrit au format "dossier.sousdossier.fichier.nom_dictionnaire" importera le dictionnaire portant le nom "nom_dictionnaire" dans le fichier "dossier/sousdossier/fichier.py" de l'arborescence. Cette variable fera planter le programme si elle contient des espaces ou le caractère ';', pour éviter toute fausse manipulation de l'utilisateur.Variable optionnelle :
ASSETS_PATH
: Par défaut, le folder /assets/ contient toutes les données publiques utiles au calcul des simulations. Il est toutefois possible pour l'usager de déclarer sa propre adresse de fichier dans cette variable d'environnement, qui doit être un chemin de répertoire valide.Pour créer la base de données, et exécuter toutes les migrations, dans votre fenêtre de terminal :
make migrate
Pour lancer LexImpact-Server, dans votre fenêtre de terminal :
make run
Pour s'assurer que tout marche bien :
./tests/server/stress/test.sh
🎉 Félicitations LexImpact-Server est en train de tourner !
Par défaut, seul de résultats à partir de cas-types sont présents dans l'API.
Dans le cas où une base de données représentant la population française (non incluse dans la bibliothèque) est présente sur l'ordinateur d'exécution, des agrégats d'impact (budgétaire, redistributif...) seront inclus dans les réponses de l'API.
Pour ce faire, modifiez le fichier suivant :
# Simulation_engine/simulate_pop_from_reform.py
version_beta_sans_graph_pop = False # Au lieu de True par défaut
Note : les instructions supra vous sont fournies à caractère indicatif, l'équipe de développement LexImpact ne disposant pas à ce stade de véritable jeu de données.
🎉 Félicitations, vous-êtes en train de réformer le système socio-fiscal français !
Pour faire tourner les tests de LexImpact-Server, exécutez la commande suivante :
make test
Pour faire tourner les tests de performance de LexImpact-Server :
make stress-server
Puis, dans une nouvelle fenêtre, lancez :
make stress-test
Ce dépôt adhère à un style de code précis, et on vous invite à le suivre pour que vos contributions soient intégrées au plus vite.
L'analyse de style est déjà exécutée avec make test
. Pour le faire tourner de façon indépendante :
make check-style
Pour corriger les erreurs de style de façon automatique:
make format-style
Pour corriger les erreurs de style de façon automatique à chaque fois que vous faites un commit :
touch .git/hooks/pre-commit
chmod +x .git/hooks/pre-commit
tee -a .git/hooks/pre-commit << END
#!/bin/sh
#
# Automatically format your code before committing.
exec make format-style
END
L'API Web dispose des itinéraires suivants :
/
/metadata/description_cas_types
/auth/login
/calculate/compare
/calculate/simpop
Parmi ces itinéraires, deux nécessitent une vérification de l'identité de l'appelant :
/auth/login
: vérifie que l'email mentionné dans le corps est dans la base de données (si oui, lui envoie par mail un lien comportant un token)/calculate/simpop
: vérifie que le token présent dans le corps de la requête est valide, non expiré, et n'appartient pas à un utilisateur suspendu/search?commune=substring
: Renvoie une liste de communes contenant la chaine de caractères spécifiéeRéponse - contenu du body :
{ "hello": "coucou" }
Réponse - contenu du body : Array of objects
. Chaque objet décrit un foyer fiscal sous forme de nombre entier à travers le schéma suivant :
{
"declarants": [ // tableau contenant un élément par déclarant du foyer fiscal
{
"ancienCombattant": false, // décrit si le déclarant est ancien combattant
"invalide": false, // décrit si le déclarant est en situation d'invalidité
"parentIsole": false, // décrit si le déclarant est parent isolé
"retraite": false, // décrit si le déclarant est retraité
"veuf": false // décrit si le déclarant est veuf
}
],
"personnesACharge": [ // tableau contenant un élément par personne à charge du foyer fiscal
{
"chargePartagee": false, // décrit si la personne à charge est en charge partagée
"invalide": false // décrit si la personne à charge est en situation d'invalidité
}
],
"residence": "metropole", // décrit les différentes situations de résidence :"GuadMarReu" pour Guadeloupe/Martinique/Réunion, ou "GuyMay" pour Mayotte/Guyane, "metropole" pour le reste du territoire français
"revenuImposable": 54003 //en euros imposable pour l'ensemble du foyer fiscal
}
Type : POST
Description : Soumet un email au serveur. Si cet email est dans la liste des adresses autorisées, un lien de connexion au service LexImpact IR à accès restreint est envoyé à l'adresse email spécifiée.
Requête - contenu du body : Ne contient qu'un champ tel que décrit dans l'exemple suivant.
{
"email" : "email@tester.io"
}
Réponse - contenu du body : La réponse renvoyée sera toujours la même, afin d'éviter de donnner des informations sur la validité des adresses mail : juste une chaîne de caractères qui contient Bien reçu! Si l'email est valide, nous avons envoyé un mail de confirmation
.
Requête - contenu du body :
{
"reforme" : décrit la réforme,
"deciles": deprecated - n'a plus d'impact,
"description_cas_types": array de descriptions de cas-types (pour la structure, cf. le guide du endpoint
/metadata/description_cas_types) ; champ optionnel, si non fourni, utilise les descriptions de cas types par défaut,
"timestamp" : chaîne de caractères qui sera renvoyé tel quel par le programme ; champ optionnel, si non fourni, la réponse ne contiendra pas de champ "timestamp"
}
En version 1.1.0
de la spécification de l'API Web, la structure de la réforme étend les possibilités d'amendement du quotient familial et cela est défini par un nouveau champ calculNombreParts
.
Elle reproduit presque la structure d'OpenFisca-France. Si un paramètre est omis, il est remplacé par la version par défaut d'OpenFisca-France (donc le code de loi existant). Le champ calculNombreParts
est optionnel, mais s'il figure, tous ses champs doivent y figurer, et les élément du tableau associés aux quatre situations familiales doivent faire la même longueur :
"reforme" : {
"impot_revenu" :{
"bareme" :{
"seuils": [9964, 25659, 73369, 157806],
"taux": [0.14, 0.3, 0.41, 0.45]
},
"decote" : {"seuil_celib": 777, "seuil_couple": 1286, "taux": 0.4525},
"plafond_qf":{
"abat_dom":{
"taux_GuadMarReu" : 0.3,
"plaf_GuadMarReu" : 2450,
"taux_GuyMay" : 0.4,
"plaf_GuyMay" : 4050
},
"maries_ou_pacses" : 1567,
"celib_enf" : 3697,
"celib" : 936,
"reduc_postplafond" : 1562,
"reduc_postplafond_veuf": 1745,
"reduction_ss_condition_revenus" :{
"seuil_maj_enf": 3797,
"seuil1": 18985,
"seuil2":21037,
"taux":0
}
},
"calculNombreParts": {
"partsSelonNombrePAC": [
{
"veuf": 1,
"mariesOuPacses": 2,
"celibataire": 1,
"divorce": 1
},
{
"veuf": 2.5,
"mariesOuPacses": 2.5,
"celibataire": 1.5,
"divorce": 1.5
},
{
"veuf": 3,
"mariesOuPacses": 3,
"celibataire": 2,
"divorce": 2
},
{
"veuf": 4,
"mariesOuPacses": 4,
"celibataire": 3,
"divorce": 3
}
],
"partsParPACAuDela": 1,
"partsParPACChargePartagee": {
"zeroChargePrincipale": {
"deuxPremiers": 0.25,
"suivants": 0.5
},
"unChargePrincipale": {
"premier": 0.25,
"suivants": 0.5
},
"deuxOuPlusChargePrincipale": {
"suivants": 0.5
}
},
"bonusParentIsole": {
"auMoinsUnChargePrincipale": 0.5,
"zeroChargePrincipaleUnPartage": 0.25,
"zeroChargeprincipaleDeuxOuPlusPartage": 0.5
}
}
}
}
Où PAC
désigne personne à charge
.
Réponse - contenu du body :
Le champ
nbreParts
est ajouté à la réponse en version1.2.0
.
{
"res_brut":{
"apres":{
"0":0,
"1":-1839,
"2":-1292,
"3":0,
"4":-2545,
"5":-1206
},
"avant":{
"0":0,
"1":-1839,
"2":-1292,
"3":0,
"4":-2545,
"5":-1206
},
"plf":{
"0":0,
"1":-1297,
"2":-1020,
"3":0,
"4":-1655,
"5":-772
}
},
"nbreParts":{
"apres": {
"0": 1.0,
"1": 1.5,
"2": 2.0,
"3": 2.0,
"4": 3.0,
"5": 3.0
},
"avant": {
"0": 1.0,
"1": 1.5,
"2": 2.0,
"3": 2.0,
"4": 3.0,
"5": 3.0
},
"plf": {
"0": 1.0,
"1": 1.5,
"2": 2.0,
"3": 2.0,
"4": 3.0,
"5": 3.0
}
},
"timestamp":"1234564689",
"total":{
"apres":6882.0,
"avant":6882.0,
"plf":4744.0
}
}
Type : POST
Description : On décrit au serveur une réforme. On s'authentifie par le token
qui nous a été fourni dans le mail d'authentification/login. Le serveur renvoie l'impact de la réforme sur la population : recettes totales, recettes par décile de RFR (Revenu Fiscal de Référence), frontières entre les déciles, nombre de foyers fiscaux touchés.
Requête - contenu du body :
{
"reforme" : décrit la réforme au même format que la réforme de l'itinéraire /calculate/compare,
"timestamp" : chaîne de caractères qui sera renvoyée telle quelle par le programme.
Champ optionnel, si non fourni, la réponse ne contiendra pas de champ "timestamp",
"token" : le token d'authentification temporaire qui a été fourni dans l'email.
}
Réponse - contenu du body :
avant_to_plf
, avant_to_apres
, plf_to_apres
. Chaque élément du dictionnaire divise les foyers fiscaux en 5 catégories : gagnant
, perdant
, neutre
, neutre_zero
, perdant_zero
: Ils décrivent si les foyers fiscaux payent plus ou moins d'impôts à l'arrivée qu'au départ. Les catégories finissant par _zero
décrivent le foyers fiscaux qui étaient exonérés d'impôt au départ.
Par exemple, neutre_zero
désigne le nombre de personnes pour lesquelles l'impact est neutre (avant = après) et qui sont exonérées d'impôt (donc, avant = après = 0).L'API Web traite également d'une thématique isolée de l'impôt sur le revenu : les dotations de l'État aux collectivités locales.
En cours de définition. Valeur par défaut :
{ "reforme": { # décrit la réforme "dotations": { # configure les éléments de la réforme des dotations "montants": {"dgf": montant de la DGF}, "communes": { "dsr": {}, "dsu": {} } } }, "strates": [...] }
En cours de définition. Valeur par défaut :
{ "amendement": { "communes": { "dsr": {}, "dsu": {} } }, "base": { "communes": { "dsr": {}, "dsu": {} } }, "baseToAmendement": { "communes": { "dsr": {}, "dsu": {} } } }
Uniquement nécessaire dans le cas où les données sur la population sont utilisées (fonctionnalité simpop). En l'absence d'utilisation de ces données (i.e. les endpoints auth et simpop), il devrait être possible de faire tourner Leximpact-server sans base de données ni fichier .env .
Leximpact-server conserve l'ensemble des données qu'il utilise et qui ne sont pas ouvertes dans une base de données sécurisée en postgresql. Cette partie décrit les différentes tables nécessaire au fonctionnement du site, et la manière de les créer.
Une base de données PostgreSQL doit être installée afin de remplir les différentes fonctions suivantes :
Cette table contient les emails des usagers valides. Elle contient une colonne, "email", qui représente l'email de l'usager.
La liste des emails est déposée et régulièrement updatée par le SSI de l'AN dans le serveur ssian@eig.etalab.gouv.fr
Etape 1 : concaténer les fichiers export_deputes.csv et export_employes.csv dans un fichier nommé users.csv contenant une colonne "email" avec le titre de la colonne en en-tête en haut.
Etape 1.5 (optionnelle): Une liste d'adresses supplémentaires est présente dans ce gdoc. Cette liste peut être concaténée au fichier créé à l'Etape 1
Etape 2 : uploader ce fichier et run le script preload.py dessus :
.\scalingo -a leximpact-server --region osc-fr1 run --file users.csv bash
pip install tables
python ./repo/preload.py
INSERT INTO users values ('paul.poule@example.org'),('jean-marie.myriam@example.org');
Contient la liste des requêtes simpop effectuées (timestamp et origine).
Description des colonnes :
nom colonne | type | Description |
---|---|---|
id | Number | Identifiant unique de la requête |
text (256) | adresse email de l'usager | |
timestamp | timestamp | timestamp de la requête |
Création / remplissage de la table : la table est créée automatiquement au lancement du serveur via alchemy, et son remplissage est automatique
Contient la liste des gens blacklistes avec date d'expiration du ban. Le blacklisting arrive quand les requêtes de simpop sont effectués en trop grand nombre, laissant supposer un objectif malveillant de la part de l'usager.
Description des colonnes :
nom colonne | type | Description |
---|---|---|
id | Number | Identifiant unique de la suspension |
text (256) | adresse email de l'usager | |
end_suspension | timestamp | timestamp de fin de la suspension |
Création / remplissage de la table : la table est créée automatiquement au lancement du serveur via alchemy, et son remplissage est automatique
Fichier contenant les données agrégées de la population française, construites, par exemple, à partir des données de l'ERFS FPR au format openfisca. C'est l'output de la phase transform_data (insérer lien vers la doc de la transformation des données).
Le fichier est uploadé dans la base de données, par exemple via preload.py. Le nom de la table dans la base postgresql doit correspondre avec la variable d'environnement nommée POPULATION_TABLE_PATH
.
Table contenant les résultats sur la population du code existant et du code
Remplie et créée en lançant le script ./scripts/generate_base_results.py via l'interface Scalingo. Le nom de la table doit correspondre avec la variable d'environnement nommée NAME_TABLE_BASE_RESULT