Catala est un projet pilote que le programme accompagne actuellement.
Comment garantir que nos lois sont appliquées avec précision dans les logiciels qui calculent impôts, allocations et pensions ? C’est tout l’enjeu du projet CATALA, une initiative interdisciplinaire visant à moderniser et fiabiliser les logiciels de calcul des impôts et des prestations sociales en traduisant les spécifications juridiques en code informatique. Transformer les textes législatifs en programmes informatiques est essentiel pour appliquer le droit à grande échelle, notamment dans le calcul des impôts ou la distribution des aides sociales. Cependant, cette tâche est complexe en raison de la nature souvent ambiguë et contextuelle des textes juridiques. C’est pour répondre à ce défi que Catala a été conçu : un langage de programmation spécialement développé pour transcrire la loi de manière fidèle et explicable, assurant ainsi une application exacte des règles juridiques.
Références et documentation sur le projet
Communiqué de presse
Origine, motivation et situation du projet en mars 2025
Site Internet du projet
Présentation, publications, équipe, etc.
Code source
Diffusé sous licence Apache2. Repose majoritairement sur OCaml : compilateur, language server, build system, etc.
Documentation
Guide d'utilisation et référence de Catala et de son outillage
Blog technique
Post de blog dévoilant les coulisses techniques de l'évolution de Catala.
Chronologie du projet
- [2019] Début du développement et intégration de Mlang à la DGFiP par Denis Merigoux et Raphaël Monat, alors doctorants, travail préfigurateur à Catala.
- [2020-2022] Recherche et conception du langage Catala et de sa méthodologie d’utilisation au sein du contexte juridique et sociologique des administrations, par une équipe interdisciplinaire (Denis Merigoux, Sarah Lawsky, Liane Huttner, Marie Alauzen). Production d’un prototype du compilateur.
- [2022] Recrutement du porteur de projet, Denis Merigoux, grâce à une Starting Research Position d’Inria.
- [2022] Recrutement de Louis Gesbert en tant qu’ingénieur de recherche sur le projet. Louis sera titularisé en 2024.
- [2023-2024] Expérimentation de Catala à la DGFiP : production d’une proof of concept.
- [2023] Création de l’action exploratoire de recherche Inria AVoCat pour la vérification formelle de programmes Catala par Raphaël Monat et Aymeric Fromherz.
- [2024] Recrutement de Vincent Botbol et de Romain Primet sur le projet.
- [2025] Titularisation de Denis Merigoux en tant que chef de projet au sein du programme Apollo.
- [2024-2025] Expérimentation de Catala à la CNAF : production d’une proof of concept.
- [2026] Expérimentation de Catala à l’ASP : production d’une proof of concept pour le calcul des aides de la PAC.
Retour d’expérience sur l’accompagnement par le programme
Ce qui était alors un side-project pendant mon doctorat a progressivement pris de l'ampleur à mesure que j'ai mené mon enquête sur les besoins des administrations et les manières de les aider. Inria et son programme Apollo m'ont dégagé du temps et fourni les moyens (trois ingénieurs de recherche) pour que je puisse suivre l'évolution du projet, de la recherche à l'industrialisation. Je souhaite continuer par la suite à apporter ma pierre au numérique de l'État en mobilisant les résultats de la recherche publique pour les DSI du secteur public.
- Chef de projet Catala - ancien doctorant Inria
- Avril 2025
Équipe du projet
Denis Merigoux
Polytechnicien et docteur en informatique, Denis s'est spécialisé dans le calcul des impôts et prestations sociales en accompagnant la DGFiP et la CNAF. Cette activité s'est développée au sein du projet Catala qui confirme son appétence pour le transfert de technologie dans la sphère publique.
Vincent Botbol
Docteur en informatique, Vincent a été le premier employé et architecte technique de la start-up Nomadic Labs qui développe la blockchain Tezos. Il met désormais ses compétences en langages et calcul distribué au service de Catala.
Louis Gesbert
Docteur en informatique, Louis a fait un passage par la start-up MLState avant de rejoindre le bureau de R&D OCamlPro dans lequel il est devenu le mainteneur principal du gestionnaire de paquets d'OCaml. Il développe désormais le compilateur de Catala.
Romain Primet
Titulaire d'un diplôme d'ingénieur, et après un passage par Rolls-Royce, Romain est devenu ingénieur de recherche à Inria. Il est intervenu auprès de nombreuses équipes de recherche en machine learning et en human-computer interaction et élabore désormais les interfaces graphiques pour l'outillage de Catala.
