Mlang & Catala
Le calcul de l'impôt sur le revenu français repose sur deux langages dédiés : Mlang, le compilateur du langage M créé par la DGFiP dans les années 90 et toujours en production, et Catala, conçu pour transformer directement le texte de loi en code vérifié. Nous installons, personnalisons et intégrons ces outils.
Deux langages, un même objectif : coder le droit fiscal
Dans les années 90, la DGFiP a créé le **langage M**, permettant aux juristes et fiscalistes de définir directement les règles de calcul de l'impôt. **Mlang**, son compilateur open source moderne, reste aujourd'hui en production pour traiter les 37 millions de déclarations françaises.
Notre rôle : accompagner les administrations et entreprises qui veulent adopter Mlang ou Catala, de l'installation à la formation des équipes métier.
Catala, un projet auquel nous contribuons
Catala, né à l'Inria, pousse l'approche plus loin : une sémantique formelle qui transforme directement le texte de loi en code vérifié. Nous avons contribué à son développement. L'installation, la personnalisation et l'intégration chez nos clients sont assurées directement par nos équipes.
Nos services autour de Mlang et Catala
Installation & déploiement
Nous installons et configurons Mlang et Catala dans votre infrastructure, sur site ou dans le cloud.
Personnalisation métier
Adaptation des règles de calcul et extension du langage à de nouveaux cas d'usage, en lien direct avec vos équipes fiscales ou juridiques.
Intégration système
APIs et intégration avec vos simulateurs, moteurs de calcul et systèmes d'information existants.
Formation & transfert
Vos équipes juridiques et techniques deviennent autonomes sur Mlang et Catala.
Traçabilité et débogage
Des outils pour suivre et vérifier chaque étape du calcul.
Notre outil de traçabilité d'exécution permet de suivre le flux complet des calculs Mlang et Catala, d'identifier les anomalies et de vérifier l'exactitude de chaque étape.
Au-delà de la France
La sémantique formelle de Catala se prête à l'encodage de n'importe quel texte de loi. Nous accompagnons les administrations qui veulent appliquer cette approche à leur propre législation.
Simulation fiscale
Vérifier les modèles de calcul en amont pour garantir la conformité législative.
Automatisation du calcul
Déployer des systèmes fiables et scalables au niveau national ou régional.
Digitalisation fiscale
Moderniser les processus fiscaux de bout en bout avec des solutions intégrées.
Conseil & formation
Accompagnement expert et programmes de formation complets.
Exemples concrets
Écosystème et évolutions
Mlang et Catala s'insèrent dans un écosystème fiscal complet, aux côtés des simulateurs existants.
Moteurs de calcul complémentaires
Couvre toutes les situations, y compris corrections et pénalités.
Traçabilité & lisibilité
Permet aux juristes et développeurs de communiquer efficacement.
APIs interopérables
Facilite l'intégration avec les simulateurs pédagogiques et solutions GovTech.
Autonomie des administrations
Transfert de connaissances pour maintenir et faire évoluer vos systèmes.
Frequently asked questions
Quelle est la différence entre Mlang et Catala ?
Mlang est le compilateur du langage M, créé par la DGFiP dans les années 90 et toujours en production. Catala, plus récent, transforme directement le texte de loi en code vérifié grâce à une sémantique formelle.
Travaillez-vous directement avec les créateurs de Catala ?
Nous avons contribué au développement de Catala, un projet de recherche né à l'Inria. L'installation, la personnalisation et l'intégration chez nos clients sont assurées directement par nos équipes.
Quels services proposez-vous ?
Installation, personnalisation des règles métier, intégration avec vos systèmes existants, et formation de vos équipes.
Ces langages sont-ils utilisables hors de France ?
Oui, l'approche de Catala est générique : elle s'applique à tout texte de loi, quelle que soit la juridiction.
Mlang et Catala sont-ils open source ?
Oui, tous deux sont open source, développés avec le soutien de l'Inria et de la DGFiP.