Ponts vers le compilateur
Ce que la grammaire-ontologie apporte à Catala et au compilateur juridique de 2026.
Rappel de contexte. Ce .md appartient au dossier d'analyse croisée entre Ontologie du mot (12 slides) et machine-à-projection-v2. Il fait le pont vers le projet Appareil et compilateur et la série technique ../../blog/metacratie-compilateur/. Lecture indépendante possible ; entrée principale : 00-synthese-cooperative.md.
1. Typer les déterminants : article défini vs indéfini = scope/closure
La page-02 du PPTX pose comme opération élémentaire le Groupe Nominal Minimal = déterminant + nom.
Cette observation a une conséquence directe pour le compilateur juridique. En français courant, le contraste le/la vs un/une porte une opposition logique majeure : l'article défini ferme la référence (le créancier = un créancier particulier, désigné) ; l'article indéfini l'ouvre (un créancier = n'importe quel créancier satisfaisant les conditions).
Dans un DSL juridique formel type Catala (../../blog/metacratie-compilateur/03-filiation.md traite de la filiation avec Catala/INRIA), cette opposition est la différence entre portée fermée (une instance nommée dans le contexte) et portée universelle (une quantification sur toutes les instances satisfaisant un type). Les articles français encodent donc déjà, de manière parfaitement régulière, ce que le typage formel rend explicite. Typer les déterminants dans le parser juridique revient à lire ce que la grammaire française fait déjà.
Exemple opérationnel. La phrase « La créancière doit notifier le débiteur » est, en Catala ou équivalent, une assertion sur deux instances nommées (la créancière spécifique, le débiteur spécifique) dans le scope d'un cas. La phrase « Une créancière peut notifier un débiteur » est une règle universelle sur la relation générique. Le compilateur juridique qui lit les deux doit les typer différemment parce que la grammaire française les type différemment — il n'invente pas cette distinction, il l'extrait.
2. Treiller les verbes d'action juridique : De ablatif comme décorateur de rôle
La page-09 du PPTX dissèque le monosyllabe De.
De — Ablatif — Provenance — Particule nom de famille / Indique possession — Appartenance à nombre — Appartenance à groupe
Chacune de ces six acceptions a une correspondance juridique précise :
| Acception page-09 | Rôle en droit |
|---|---|
| Ablatif | origine d'une obligation (découle de l'article L262-9) |
| Provenance | cause matérielle (le bien provient de la succession) |
| Particule nom de famille | identification de personne (de Villiers) |
| Possession | droit réel (la propriété de l'immeuble) |
| Appartenance à nombre | quantification (l'un des créanciers) |
| Appartenance à groupe | qualification catégorielle (partie de la classe des consommateurs) |
Les acceptions Appartenance à nombre / à groupe opèrent une proto-formalisation ensembliste — pont direct vers la pyramide MDE et le meta-model de 09-pont-compilateur.md.
Le parser juridique qui rencontre le mot de dans un texte législatif doit disambiguïser selon laquelle de ces six acceptions est active. Or l'article ../../machine-a-projection-v2/09-pont-compilateur.md l'énonce dans ses sept ponts (notamment Pont 3 — L'attaque contre l'implicite) : le compilateur remplace la convention par l'attribut typé. La disambiguïsation du de juridique est précisément cela — remplacer la convention interprétative (celle que le juriste lettré fait automatiquement) par un attribut typé que le compilateur vérifie.
Dans la pratique Catala, cette disambiguïsation prend la forme de constructeurs typés qui rendent explicite le rôle du de. Montant dû par le débiteur introduit un de qui est à la fois ablatif (d'où provient l'obligation) et appartenance à groupe (le débiteur est instance de la classe Débiteur). Le DSL juridique en fait deux décorateurs distincts — et c'est plus rigoureux, donc plus vérifiable, que la prose française.
3. La phrase-fleuve comme proto-BPMN
La page-11 du PPTX déploie une phrase entière.
Intention → D'atteindre → Un Objectif — Pour y arriver → Il me faut → Moyens — Moyens : Stratégiques / Technologiques — Stratégiques : Spatio / Temporelles — Espace de travail → Pour → Acter → La → Définition de Périmètre / Production de [Produit] — Utilisant → Rôles → Joués par → Personnes → Qui sont des → Individus → Qui font partis de → [Collectifs / Réseaux / Gamme / Groupe]
La page démontre que la grammaire et la gestion (MVP, POC, périmètre, tarification) partagent la même ontologie. Le geste politique est implicite : l'ontologie d'un projet est déjà dans la grammaire française.
La phrase-fleuve est un proto-BPMN — une notation processus qui se lit comme prose. Elle enchaîne nœuds (Intention, Objectif, Moyens, Rôles, Personnes, Collectifs) par opérateurs (D'atteindre, Pour y arriver, Il me faut, Utilisant, Joués par). Chaque opérateur est une verbe grammatical qui joue le rôle d'une flèche de processus.
Pour le compilateur juridique, la conséquence est importante. Les textes législatifs et contractuels sont en très grande partie composés de phrases-fleuves du même type. « Le créancier, pour obtenir le paiement, adresse une mise en demeure au débiteur qui dispose de huit jours pour régulariser, à défaut de quoi le créancier peut saisir le tribunal. » C'est, structurellement, la même phrase que la page-11 du PPTX : une intention + un ensemble de moyens + des rôles + des conditions temporelles + une cascade d'actions.
L'article ../../blog/metacratie-compilateur/07-law-dsl.md construit le DSL Law comme un cadre typé pour ces phrases-fleuves. Mais la façon dont le DSL les découpe en nœuds et arcs n'a pas, aujourd'hui, de garantie linguistique. Le PPTX page-11 la fournit : les nœuds doivent être les GN (groupes nominaux) de la phrase, les arcs doivent être les verbes et prépositions, et l'ontologie régionale (êtres/choses/idées de page-02) doit typer chaque GN selon sa région référentielle. Le DSL Law reste proche de la grammaire française au lieu de s'en détacher en un vocabulaire artificiel — ce qui correspond précisément à l'objectif démocratique énoncé dans ../../machine-a-projection-v2/08-mots-langage.md § 4 : démocratiser par la formalisation, pas par la vulgarisation.
4. Moyens Spatio-Temporels = META(Ex × Ty) côté projet
La correspondance est frappante : Moyens Stratégiques Spatio-Temporelles est un proto-META(Ex × Ty) de 02-occurrence-meta.md — la signature d'indexation Espace × Temps apparaît ici presque littéralement, côté projet plutôt que côté occurrence.
La signature META(Ex × Ty) est au cœur du projet compilateur 2026 — voir notamment ../../blog/metacratie-compilateur/04-meta-ex-ty.md. Elle paramètre le DSL juridique par un espace et un temps (Law.France2026.Etalab.Dsl = France × 2026 × Etalab ; Law.France2026.LaQuadrature.Dsl = même espace-temps × autre auteur).
La page-11 du PPTX arrive à la même signature, mais depuis un registre qu'aucun article de 2026 n'avait exploré : la gestion de projet. Moyens Stratégiques Spatio-Temporels dit que tout projet est paramétré par un espace (où se fait le travail) et un temps (quand se fait le travail). Cette paramétrisation est structurellement identique à META(Ex × Ty). La différence est de registre :
- v2/02 (occurrence) : le sujet observe une occurrence indexée sur un espace et un temps.
- compilateur 2026 (juridique) : le DSL typifie les règles du droit indexées sur un espace et un temps.
- PPTX page-11 (projet) : le gestionnaire organise des moyens indexés sur un espace et un temps.
Les trois registres — épistémique, juridique, managérial — partagent la même signature META(Ex × Ty). Cette convergence n'a pas été relevée par le corpus 2026. Elle ouvre un chantier : le compilateur 2026 pourrait typer aussi des projets (pas seulement des lois), en réutilisant la même signature. Un Project DSL indexé par META(Ex × Ty) serait un cousin logique du Law DSL.
5. Les articles comme registre industriel nouveau
Le gain par rapport à v2 est net : la présence franche, dans la page-11, du vocabulaire de gestion de projet (MVP, Preuve de Concept, Tarification, Périmètre, Production). V2 ne convoquait pas ce registre ; ici il s'intègre dans l'ontologie générale comme un cas d'application — préfigure le pont MDE → compilateur juridique de 2026, mais côté industriel.
C'est un apport net. La série v2 et le corpus métacratique de 2026 sont très politiques (démocratie, pouvoir, institutions). Le PPTX ajoute un registre industriel : MVP, POC, Tarification, Périmètre. Ces termes de gestion de projet ne sont pas politiques — ils sont banalement pragmatiques. Et pourtant ils s'intègrent à la même ontologie (Intention → Objectif → Moyens → Rôles → Personnes → Collectifs).
Cette intégration a une portée politique latente. Si la grammaire de la gestion de projet est la même que celle de l'action juridique et de la projection cognitive, alors les catégories industrielles (MVP, POC, Périmètre) peuvent se porter sur le terrain politique — non comme des métaphores managériales de la politique (ce qui serait une réduction), mais comme des instances particulières d'une même grammaire ontologique. La Preuve de Concept Dumas de ../../blog/metacratie-compilateur/10-trace-dumas.md est littéralement une POC — un cas-test qui démontre la faisabilité d'un dispositif plus large. Le Ship 1 de la ../../blog/metacratie-compilateur/18-roadmap.md est littéralement un MVP — un produit minimum viable. Le Périmètre du compilateur (quels articles, quels cadres, quelles années) est littéralement un Périmètre au sens de la gestion de projet.
Le vocabulaire industriel n'est pas une concession ni une contamination ; il est un registre grammatical légitime que la page-11 du PPTX autorise à utiliser.
6. Figure synoptique
7. Conséquence méthodologique
Le pont n'est pas une métaphore ; c'est une identité structurelle. La grammaire française porte déjà la signature META(Ex × Ty) (page-11 Moyens Spatio-Temporels), la distinction scope/closure (déterminant défini vs indéfini), et le typage des opérateurs relationnels (la disambiguïsation du de). Le compilateur juridique de 2026 n'a pas à inventer ces structures — il les extrait.
Cette extraction est politiquement importante. Tout code doit être ancré dans une intention — règle méthodologique constante du corpus. Ici, l'ancrage est clair : le compilateur juridique respecte la grammaire française dans sa structure, parce que cette grammaire est le DSL informel que le citoyen utilise déjà. Formaliser sans rompre avec la grammaire = formaliser sans créer de jargon technique inutile = démocratiser par la formalisation, pas par la vulgarisation (thèse de ../../machine-a-projection-v2/08-mots-langage.md § 4). Le PPTX fournit la garantie linguistique dont cette thèse avait besoin.
Voir aussi : 01-grammaire-comme-ontologie.md (le treillis grammatical qui fonde tout cela) ; 03-rosace-whiteheadienne.md (la top-level ontology qui chapeaute le zoo de DSLs) ; 06-questions-ouvertes.md (questions de recherche ouvertes).