Appareil et compilateur📋

Jonction transversale au dossier METACRATIE — entre l'appareil génératif et le pipeline de génération

Compagnon de : META-CRATIE — Rapport analytique, Transitions méta-cratiques et Silences et Chantiers Auteur : Stéphane Erard Date : 9 avril 2026

« We must be systematic, but we should keep our systems open. » — Alfred North Whitehead, cité par John F. Sowa dans sa Top-Level Ontology

« META(Ex × Ty) — la signature de type d'un Loi.DSL paramétré par un couple Espace × Temps. »

Avertissement au lecteur📋

Cette page n'est pas un cinquième document du noyau métacratique. C'est une jonction transversale. Elle suppose le vocabulaire du dossier — les cinq couches SUPRA / SUPER / INTER / INFRA / SUFRA, le triptyque Imperium → Réflexion → Recréation, la thèse de simultanéité, l'asymétrie de couches, la formule META(Ex × Ty) — et un second corpus apparemment hétérogène : le Model-Driven Engineering tel que je le pratique au quotidien dans le blog technique de ce site, depuis vingt ans dans une suite d'outils Eclipse puis Roslyn, avec ses Source Generators, ses metamodels en couches, et ses DSLs ouverts. (Pour les lecteurs qui ne sont pas familiers du concept de DSL — langage dédié —, une page de vulgarisation existe dans ce même dossier.)

Je soutiens que ces deux corpus sont des variantes du même geste épistémique appliqué à deux domaines distincts. Et je soutiens, plus précisément, que ce geste a une lignée philosophique et technique nommable — Peirce → Whitehead → Sowa pour la branche ontologique ; Bertrand Meyer → MOF / EMF → Roslyn pour la branche logicielle ; Foucault → Castoriadis → Lordon → la métacratie de 2017 pour la branche politique — et que ces lignées convergent autour d'une thèse simple : on ne peut spécifier, gouverner, lire, ou réfuter que ce qu'on rend formellement explicite, et toute zone laissée implicite dérive.

Le lecteur qui n'a lu ni l'un ni l'autre des deux corpus y trouvera, faute des prérequis, une argumentation à demi-saisie. Le lecteur familier des deux y verra qu'il s'agissait depuis le début du même chantier, et que le pont entre eux n'est pas une coquetterie analytique mais l'indication d'un programme constructif que je nomme à la fin de ce texte.

Trois mises en garde avant de commencer. La voix est assertive, première personne quand nécessaire, conforme au registre de Silences et Chantiers. Le ton n'est pas généalogique-modeste — j'engage les références (Foucault, Luhmann, Latour, Sowa, Castoriadis, Lordon, Meyer) directement et je marque ce que je leur prends et ce que j'ajoute. Et cette page sort du noyau métacratique pour aller faire du dialogue avec un autre champ ; ce n'est pas une trahison du programme métacratique, c'est sa première application à un domaine qu'il ne s'était pas encore donné.

Une dernière note. Beaucoup de ce qui suit s'expose à l'objection facile : « vous mélangez l'ingénierie et la politique, c'est de la métaphore élargie, c'est du Sokal-Bricmont. » Je sais que cette objection existe et qu'elle a été décisive contre certains structuralismes français des années 1970. Ma réponse tient en trois points et je préfère la donner d'emblée. Premièrement : la jonction passe par un ancêtre technique commun — les graphes conceptuels de Sowa, et derrière eux Peirce et Whitehead — qui est réel, pas métaphorique. Deuxièmement : le théorème central que j'isole (les limites de spécification sont les limites de vérification) est formel, démontrable, et il a déjà été formulé par Foucault dans L'archéologie du savoir sans que personne ne crie au scientisme. Troisièmement : la jonction est opérationnalisée sur un cas-test français net — l'aveu tardif de Roland Dumas concernant la validation des comptes de campagne de Chirac et Balladur en 1995 — qui rend la lecture réfutable au sens de Popper. Sokal et Bricmont ont attaqué les analogies verbales qui empruntaient un vocabulaire mathématique sans en porter la rigueur ; cette page ne fait pas cela. Elle propose une jonction technique qui s'incarne dans du code compilable et dans une lecture historique vérifiable.

Sommaire📋

1. Introduction — le geste épistémique commun
2. Pont 1 — La pile en couches asymétriquement mobiles
3. Pont 2 — Le théorème des limites d'expressivité, et le cas Dumas 1995
4. Pont 3 — L'attaque contre l'implicite
5. Pont 4 — La traçabilité bout-en-bout, ou le refus des arrêts du triptyque
6. Pont 5 — Le point fixe et la lignée
7. Pont 6 — Discuter, décider, typer : le Parlement des choses opérationnalisé
8. Pont 7 — Le DSL des lois, ou l'horizon constructif
9. Quatre cas contemporains
10. Position — démocrate au sens fort, dans la lignée de la gauche constituante française
11. L'IA comme cas-test : outil sous garde-fous démocratiques
12. Limites et précédents
13. Test de réfutation
14. Coda

1. Introduction — le geste épistémique commun📋

J'écris en parallèle, depuis 2017 pour la métacratie et depuis bien plus longtemps pour le Model-Driven Engineering, deux corpus que je n'avais jamais pensé à articuler explicitement. L'un est philosophique et continental, écrit en français, avec ses appuis chez Spinoza, Castoriadis, Lordon, Bourdieu, Sévérac, Maturana–Varela, Morin, et avec ses interlocuteurs anglo-saxons traités comme contraste plutôt que comme appui (Tilly, Skocpol, Mouffe, Taylor). L'autre est technique et anglo-saxon dans son outillage, écrit en C# et en Roslyn, avec ses appuis chez Bertrand Meyer (le créateur d'Eiffel et du Design by Contract, 1986), chez l'OMG (le Meta-Object Facility de 1997), chez John F. Sowa (les Conceptual Structures de 1984), et chez Anders Hejlsberg (le concepteur de C# et de Roslyn).

Pendant longtemps j'ai cru que les deux corpus n'avaient rien à se dire au-delà du fait qu'ils étaient écrits par la même personne. Et puis j'ai vu, en relisant Silences et Chantiers après une journée passée à étendre un Source Generator pour le compliance system du blog, que les deux registres décrivaient la même chose. La latence SUFRA — « l'épaisseur du présent que seul l'avenir peut lire » — est exactement ce qui se passe entre le moment où j'écris une déclaration typée et le moment où le compilateur l'a digérée et a produit ses artefacts. Le « rognage » du Conseil constitutionnel d'octobre 1995, par lequel Roland Dumas a fait passer les comptes manifestement irréguliers de Chirac et Balladur sous le plafond légal en « exerçant imagination et habileté », est un compile error qu'aucun outil ne pouvait détecter à l'époque parce que la couche de vérification correspondante — les minutes du délibéré, l'aveu d'un acteur, l'ouverture archivistique à 25 ans — n'existait pas encore. La position SUPRA implicite du « sauver la République » est exactement la convention non écrite que la thèse contention-over-convention du blog cherche à éliminer en la remplaçant par un attribut compilé. Le triptyque Imperium → Réflexion → Recréation est, dans le vocabulaire de Bertrand Meyer, une chaîne précondition → invariant → postcondition qui peut s'arrêter à n'importe lequel de ses trois termes, et dont les arrêts sont des modes de défaillance typables.

Le geste commun aux deux corpus est celui-ci : pour qu'une chose puisse être gouvernée, vérifiée, ou simplement lue, elle doit d'abord être rendue formellement explicite ; et la rendre explicite est un acte politique au sens fort, qui déplace ce qui était laissé à la dérive de la convention vers ce qui est compile-checked par une procédure publique reproductible. Ce geste n'a rien d'une utopie technocratique — j'y reviens dans la section « Limites et précédents » — parce qu'il ne propose pas que les algorithmes décident à la place du peuple. Il propose que le peuple s'arme techniquement pour mieux délibérer : pour mieux lire ce qui se passe, pour mieux contrôler que les lois s'appliquent, pour mieux mesurer les effets, pour mieux exiger des comptes. C'est exactement la différence entre Cybersyn de Stafford Beer (qui voulait remplacer le marché par un système cybernétique de planification centralisée) et un appareil métrique au service de la souveraineté populaire (qui veut outiller la délibération sans la remplacer). J'y reviendrai en évoquant le compilateur dynamique au pont 7.

Sept ponts unifient les deux corpus. Je les présente dans l'ordre où ils ont émergé pour moi, en allant du plus architectural (les couches en pile) au plus constructif (le DSL des lois et son horizon). Chaque pont porte une thèse formelle ; chaque pont est traçable jusqu'à un cas empirique ou un texte précis ; chaque pont s'articule avec les autres sans former une totalité fermée — c'est l'application littérale de la maxime de Whitehead que j'ai placée en épigraphe.

2. Pont 1 — La pile en couches asymétriquement mobiles📋

Les deux corpus reposent sur une architecture stratifiée où chaque couche contraint et est contrainte par la suivante, avec des vitesses de mouvement asymétriques qui sont exactement les mêmes dans les deux registres.

Côté MDE, la pile MOF distingue quatre niveaux : M3 (le meta-meta-modèle, dans mon cas une poignée de primitives auto-descriptives — [MetaConcept], [MetaProperty], [MetaReference], [MetaConstraint], [MetaInherits] — qui se décrivent dans leur propre langage), M2 (les DSLs, c'est-à-dire les vocabulaires d'attributs spécialisés que je construis sur le M3, par exemple le DDD DSL ou le Content DSL ou l'Ops.DSL), M1 (les modèles utilisateur, c'est-à-dire le code annoté que les développeurs écrivent en utilisant les attributs M2), et M0 (l'exécution, les instances réelles qui tournent à l'exécution). M3 ne bouge presque jamais — y toucher revient à réécrire toute la pile. M2 bouge rarement — chaque nouveau DSL est un projet en soi. M1 bouge tout le temps — chaque ajout d'un attribut sur une classe est une modification de M1. M0 est en mouvement permanent à l'exécution.

Côté métacratie, j'ai distingué cinq couches dans Silences et Chantiers : SUPRA (les mythes fondateurs, la doxa que personne n'a besoin de nommer parce qu'elle est partagée par défaut), SUPER (le discours constitutionnel et juridique explicite, les lois écrites), INTER (les corps intermédiaires, les réseaux d'acteurs, les milieux), INFRA (les substrats matériels — câbles, réseaux de paiement, sols, climats, infrastructures), et SUFRA (la couche de l'opacité contemporaine, ce qui se passe dans le présent mais qui ne devient lisible qu'avec un délai de plusieurs années ou décennies, par déclassification archivistique ou par aveu volontaire). L'asymétrie de mouvement est la même : INFRA bouge presque jamais (les câbles sont là pour des décennies), SUPRA est silencieusement recadrée plutôt que réécrite (c'est le geste typique de toute transition de pouvoir réussie), SUPER rattrape avec retard ce que INTER a déjà fait, INTER se reconfigure en premier dans toute crise.

L'isomorphisme des deux piles n'est pas une coïncidence et il n'est pas une métaphore. Les deux architectures résolvent la même question : comment rendre compte d'un système qui contient à la fois des choses qui changent vite et des choses qui changent lentement, sans confondre les deux échelles temporelles. Et la réponse est dans les deux cas la même : empiler les couches selon leur vitesse de changement, et thématiser explicitement les contraintes qu'une couche impose à celles qui changent plus vite qu'elle. C'est ce que Niklas Luhmann a appelé le couplage structurel entre sous-systèmes sociaux opérationnellement clos, dans Soziale Systeme (1984), et c'est ce que j'avais redécouvert sans le savoir en lisant ses commentateurs après avoir écrit le brouillon de Silences et Chantiers. Luhmann passe trente ans à formaliser une théorie sociologique autopoïétique en couches qui irrite les autres couches sans jamais leur parler directement — et c'est exactement l'architecture MOF, transposée du software au social. La différence entre Luhmann et la métacratie que je propose n'est pas dans la structure, elle est dans le ton et dans l'attention aux affects : Luhmann est froidement opérationnel, la métacratie est spinoziste-lordonienne et porte les couches comme des configurations affectives autant que comme des opérations froides. Ce que je prends à Luhmann, c'est la rigueur structurelle ; ce que j'ajoute, c'est le conatus.

Le pont 1 est donc l'architectural commun : deux frameworks qui pensent en couches asymétriquement mobiles, qui les nomment, qui en thématisent les couplages, et qui refusent l'idée d'un méta-cadre universel qui voudrait réduire toutes les couches à une seule grammaire. Cette dernière idée — le refus du méta-cadre universel — est ce qui sépare ma métacratie des structuralismes des années 1970 qui voulaient tout dire et n'ont presque rien dit, et c'est ce que la maxime de Whitehead consigne en sept mots : be systematic, keep systems open.

3. Pont 2 — Le théorème des limites d'expressivité, et le cas Dumas 1995📋

Le pont le plus aigu, et celui par lequel toute la suite tient, est ce que j'appelle le théorème des limites d'expressivité. Il s'énonce ainsi : on ne peut spécifier que ce qu'on peut vérifier ; le langage de spécification est strictement borné par l'appareil de vérification disponible.

Ce théorème n'est pas mon invention. Foucault l'a formulé, dans un autre vocabulaire, dans le chapitre III de L'archéologie du savoir (1969), « L'énoncé et l'archive » : un énoncé n'existe que dans le système qui le rend formulable, et les « conditions de possibilité d'un énoncé » sont précisément les couches de pratique, d'institution, de matérialité qui le rendent vérifiable. Quand je dis aujourd'hui « la couche de vérification borne le langage de spécification », je redis Foucault sans le vocabulaire de l'épistémè mais avec son geste exact. La différence est que Foucault est resté descriptif — il décrivait l'épistémè du dehors, en archéologue qui exhume — tandis que le MDE fabrique l'appareil de vérification au lieu de le décrire. Foucault me donne la théorie ; le compilateur me donne la praxis. La jonction est rigoureuse, et il faut la nommer.

Côté logiciel, le théorème prend la forme suivante. Quand j'écris dans le blog typed-specs « vous ne pouvez spécifier que ce que vos tests peuvent vérifier », et quand je précise dans la version actuelle de la ligne 86 que « with a DOM adapter and a state machine, most logic is unit-testable » alors que « what still needs E2E is what the adapter can't fake : real-browser layout, requestAnimationFrame timing », je décris une frontière mobile mais structurelle. On peut repousser la frontière par abstraction (un DOM adapter, une machine pure, un mock intelligent), et faire monter de plus en plus de comportement dans le langage testable. Mais il reste toujours un noyau qui n'est pas falsifiable par les outils de vérification actuellement installés, et ce noyau est, à un moment donné, hors d'atteinte du langage de spécification. La frontière bouge avec l'installation de nouvelles couches de vérification — elle ne disparaît jamais.

Côté politique, le théorème prend la forme du SUFRA. Le SUFRA, dans Silences et Chantiers, désigne l'épaisseur du présent que seul l'avenir peut lire, parce que les couches de vérification qui rendraient le présent lisible (les archives, les déclassifications, les enquêtes, les aveux) ne sont pas encore installées. C'est exactement le DOM-adapter-qui-n'existe-pas-encore. Et le mécanisme par lequel une transition métacratique devient lisible n'est rien d'autre que l'installation progressive d'une couche de vérification — par le travail d'historiens, de journalistes, de lanceurs d'alerte, ou par la trahison volontaire d'un acteur qui parle après avoir longtemps gardé le silence.

Le cas paradigmatique que je veux développer ici, parce qu'il est plus pur que celui de 2008 traité dans Silences, est celui de la décision n° 95-86 PDR du Conseil constitutionnel, du 11 octobre 1995. Pour des raisons de méthode, je préfère un cas où l'acte est daté, les acteurs sont nommés, et la déclassification a eu lieu par un mécanisme reconnaissable plutôt que par un déluge anonyme d'archives. Le cas Dumas–Conseil constitutionnel–1995 satisfait ces trois critères avec une netteté que la crise financière de 2008 n'atteint pas.

Les faits, vérifiés via la presse et les archives ouvertes après 25 ans : à l'été 1995, après le second tour de la présidentielle qui voit l'élection de Jacques Chirac contre Lionel Jospin, le Conseil constitutionnel doit valider les comptes de campagne des principaux candidats. Ses propres rapporteurs notent des irrégularités manifestes dans les comptes de Chirac et de Balladur. Roland Dumas, alors président du Conseil, propose aux huit autres conseillers le choix-clé : « Soit nous les suivons [les rapporteurs], soit nous exerçons imagination et habileté. » Les conseillers choisissent l'imagination et l'habileté. Le Conseil rogne les chiffres pour les faire passer sous le plafond légal. La décision 95-86 PDR valide officiellement les comptes. Quelques années plus tard, l'affaire Balladur — qui aboutira sur les ramifications Karachi, Sarkozy, et plus largement sur ce que l'on appelle aujourd'hui les pratiques de financement politique des années 1990 — sortira par la justice. Mais la dimension proprement constitutionnelle du dossier — le fait que le Conseil avait su et avait décidé sciemment de couvrir — restera invisible jusqu'à l'ouverture archivistique des délibérations à 25 ans, c'est-à-dire vers 2020.

C'est à ce moment-là, et seulement à ce moment-là, que la couche de vérification s'installe. Et elle s'installe par un double mécanisme : la règle archivistique des 25 ans (mécanique réglementaire) et l'aveu volontaire de Dumas lui-même (mécanique morale). Dumas, des décennies après les faits, parle à la presse. Il reconnaît que les comptes étaient « manifestement irréguliers ». Il fournit en même temps sa justification rétroactive : il estime avoir « sauvé la République » parce que « l'annulation de l'élection de Chirac aurait eu des conséquences terribles. » Et son successeur Jean-Louis Debré (qui a présidé le Conseil 2007–2016) accuse publiquement Dumas d'avoir trahi le secret des délibérés en parlant.

Cette séquence est SUFRA stricto sensu, et elle est triplement structurée. Premier moment : l'opacité institutionnelle organisée en 1995 — ce que j'appelle dans le vocabulaire technique le secret des délibérés fait fonction de couche d'opacité. Deuxième moment : la trahison du SUFRA par un acteur de premier plan vers 2020 — Dumas parle, et fournit dans le même geste une justification rétroactive qui est elle-même un objet métacratique de premier ordre, parce qu'elle est l'invocation littérale d'une SUPRA implicite (le « sauver la République » comme raison d'État supérieure) écrasant la fonction SUPER explicite (le Conseil comme gardien du droit contre la pression majoritaire). Troisième moment : la défense ré-active du SUFRA par les survivants — Debré accuse Dumas non pas d'avoir validé une fraude, mais d'avoir parlé. La règle institutionnelle qui rend possible le SUFRA (le secret des délibérés) est défendue par les autres acteurs au nom même de cette règle, et l'attaque contre Dumas est l'attaque contre celui qui a cessé de jouer son rôle de couche d'opacité. Le SUFRA n'est pas un accident épistémique. C'est une fonction structurelle de l'institution, et sa déclassification est ressentie par l'institution elle-même comme une violation.

Et voici ce que rend visible le pont 2 quand on le pose sur ce cas. Si en 1995 un Loi.DSL France suffisamment développé avait existé, le rognage des chiffres aurait été un compile error du jour de la délibération. Le Conseil aurait dû soit valider sincèrement (et donc invalider l'élection), soit refuser de compiler et assumer publiquement le désaccord. Le « rognage » serait techniquement impossible dans un DSL où les contraintes de plafond, de justification et de sincérité sont vérifiées par le compilateur, pas par la « bonne volonté » des conseillers. La latence SUFRA de 25 ans serait passée à zéro. La transgression aurait été nommable et nommée à l'instant.

C'est pour cela que j'écris cette page. Pas parce que la jonction entre MDE et métacratie est jolie philosophiquement, mais parce qu'elle indique qu'un appareil métrique outillé, déployé par et pour le peuple souverain, peut réduire la latence SUFRA jusqu'à son minimum structurel — celui qui est constitutif de tout système formel opérationnalisé et qui laisse place à la délibération — sans jamais prétendre la supprimer entièrement. La latence zéro tuerait la délibération. Mais la latence de 25 ans tue la démocratie. Le projet est de viser le minimum structurellement nécessaire, et de considérer toute latence supérieure comme une exploitation politique de l'opacité.

4. Pont 3 — L'attaque contre l'implicite📋

Les deux corpus dressent le même réquisitoire contre l'implicite, et tous deux proposent le même geste constructif : rendre l'implicite explicite et vérifiable par construction.

Côté logiciel, c'est la thèse de la série Contention over Convention du blog. Une convention requiert trois artefacts qui dérivent les uns des autres au fil du temps : la documentation, le code de vérification (typiquement les tests, les linters, les revues de code), et l'implémentation. Quand un développeur change l'implémentation et oublie de mettre à jour la documentation, ou quand un test a été écrit dans un esprit qui n'est plus celui du code, la dérive s'installe. Ce qui devait être garanti par la convention devient un mensonge poli qu'il faut entretenir. La contention remplace les trois artefacts par un seul : un attribut compilé dont la documentation, la vérification et l'implémentation sont fusionnées en un seul objet typé. L'attribut ne peut pas dériver, parce qu'il est sa propre vérité.

Côté politique, c'est exactement la critique de la SUPRA implicite que je développe dans Silences et Chantiers §5. Dans une société pluraliste, la SUPRA en vigueur n'est jamais explicitement écrite — elle est l'arrière-fond doxique partagé que personne n'a besoin de nommer parce qu'elle est évidente pour tous ceux qu'elle concerne. C'est précisément pour cette raison qu'elle peut être recadrée silencieusement. Quand Dumas dit en 2020 « sauver la République », il invoque une SUPRA qui était implicite en 1995 et qui est restée implicite pendant tout l'intervalle. Personne, dans le débat public français de 1995, n'aurait écrit la phrase « le Conseil constitutionnel doit valider les comptes même frauduleux des candidats si l'annulation aurait des conséquences politiques terribles ». Mais cette phrase a été prononcée à voix basse dans la salle des délibérations, en 1995, et elle a guidé la décision. La SUPRA implicite gouverne sans être nommée — c'est sa fonction et son mode de pouvoir.

Le geste constructif est le même dans les deux registres. Dans CMF, c'est la transformation [Convention] → [Contention] : on prend une règle qui était portée par l'usage et on la grave dans un attribut compilé que le compilateur enforce. Dans la métacratie, c'est l'écriture explicite de la SUPRA-STRUCTURE — précisément l'une des quatre diapositives blanches du source de 2017 que Silences et Chantiers §5 entreprend de remplir, et que Commun.DSL (que je décris au pont 7) prendrait en charge techniquement en typant le statut commun/public/privé des biens et en exigeant une procédure démocratique typée pour tout franchissement de cette frontière.

Sur ce pont, je dois citer un précédent qui m'a manqué pendant longtemps : Lawrence Lessig, juriste américain de Harvard, qui a écrit en 1999 (puis réédité en 2006 sous le titre Code: Version 2.0, accessible gratuitement sur codev2.cc) le livre dont l'argument tient en trois mots : « Code is Law. » Lessig veut dire deux choses superposées. D'abord que dans le cyberespace, ce qui peut être fait et ce qui ne peut pas l'être est déterminé par l'architecture logicielle bien plus que par les lois écrites des États — donc le code est déjà une forme de droit, de facto, et il faut le traiter comme tel. Ensuite, normativement : si le code est la loi, alors il faut soumettre les architectures techniques aux mêmes exigences de transparence, de délibération et de contestation que les lois écrites. Lessig observe de l'extérieur, en juriste qui regarde les ingénieurs faire ; je propose le geste inverse, en ingénieur qui propose de soumettre le droit à l'outillage que ses pairs utilisent déjà sur le code. Mais le pont a été ouvert par Lessig il y a 25 ans, et toute discussion contemporaine sur la « régulation par l'architecture » lui est redevable, qu'elle le sache ou non.

Susan Leigh Star et Geoffrey Bowker, dans Sorting Things Out: Classification and Its Consequences (1999), ont démontré empiriquement, sur trois cas longs (la Classification internationale des maladies, les classifications raciales sous l'apartheid sud-africain, et le Nursing Interventions Classification), que toute classification est un acte politique — parce qu'elle décide qui compte et qui ne compte pas, ce qui est visible et ce qui ne l'est pas, ce qui mérite un nom et ce qui reste innommé. Et plus une classification devient infrastructurelle, plus elle devient invisible, et donc plus elle est puissante politiquement. Star et Bowker forgent le concept de torque (torsion) pour désigner ce qui se passe quand une classification rigide est plaquée sur une réalité qui n'y correspond pas : les individus dont la vie ne rentre pas dans les catégories subissent une torsion qui peut être insupportable. C'est exactement le mécanisme du SUFRA appliqué aux infrastructures classificatoires : les contemporains d'une transition ressentent une torsion (anxiété, sentiment d'injustice, colère diffuse) sans pouvoir la nommer, parce que les catégories de description disponibles ne correspondent plus à la META en train de se reconfigurer.

Le pont 3 est donc l'attaque commune contre l'implicite, avec une lignée précise — Lessig, Star, Bowker, et derrière eux Foucault — et un geste constructif unifié : rendre explicite ce qui était laissé à la dérive, et accepter que cet acte soit politique au sens fort.

5. Pont 4 — La traçabilité bout-en-bout, ou le refus des arrêts du triptyque📋

Les deux corpus construisent une chaîne de traçabilité complète, et dans les deux cas tout maillon manquant est un défaut typable.

Côté MDE, la chaîne typed-specs construit le parcours suivant : Feature → Acceptance Criterion → Test → Coverage Report → Quality Gate. Chaque feature du système est encodée comme une classe abstraite, chaque AC comme une méthode abstraite, chaque test comme un décorateur qui pointe vers l'AC qu'il vérifie. Le compilateur catche les typos, le scanner cross-référence les features et les tests, le quality gate fait échouer le build si une feature critique n'est pas couverte. La chaîne est mécanisée de bout en bout, et tout maillon non-vérifié est un défaut compilé. Au-delà de typed-specs, le système de Feature Compliance Verification que j'ai conçu pour le blog impose à la compilation que toute Feature ait un [FeatureImplements] qui pointe vers le code l'implémentant et que toute AcceptanceCriterion ait un [FeatureTest] qui pointe vers le test qui la vérifie. L'absence d'un de ces attributs fait échouer le build. C'est une exigence morale érigée en contrainte mécanique.

Côté métacratie, Transitions méta-cratiques construit une chaîne homologue : Affect (peur, colère, espoir) → Conatus capté ou libéré → Réflexion (idées adéquates au sens de l'Éthique IV) → Reconfiguration INTER → Loi SUPER → Recadrage SUPRA → Lisibilité SUFRA. Tout maillon manquant est un arrêt du triptyque au sens de la typologie développée dans Silences §3 : Imperium sans Réflexion (la pure répression), Réflexion sans Recréation (les idées adéquates circulent mais ne convergent pas sur un nouveau sujet politique — c'est le cas de la séquence post-2008 en Occident), Recréation captée (le nouvel Imperium est immédiatement réabsorbé par l'ancienne META — c'est Thermidor). Une transition métacratique échouée est, dans le vocabulaire typed-specs, une feature dont les ACs ne sont pas couverts. Et le système [FeatureImplements] / [FeatureTest] est, littéralement, le compilateur qui refuse les arrêts du triptyque dans le domaine logiciel.

Il y a un point que je veux marquer ici parce qu'il vient de la pratique technique et qu'il a un correspondant politique précis. Dans mon code, j'ai depuis longtemps une règle stricte : chaque module doit pouvoir tracer son existence jusqu'à un AC business identifié. Un module qui ne se branche sur aucune acceptance criterion business est, dans mon vocabulaire, un code smell, pas une situation acceptable par défaut. La règle a été établie après avoir vu trop de modules qui existaient parce qu'on en avait besoin un jour et qui survivaient sans plus jamais être justifiés. Le pendant politique est exactement ce que j'ai écrit dans Silences §3 sur la séquence post-2008 : la phase de Réflexion a eu lieu (Indignados en Espagne en 2011, Occupy Wall Street la même année, Nuit debout en 2016, Le capital au XXIᵉ siècle de Piketty en 2013), mais elle n'a pas convergé sur un nouveau sujet politique. Les idées adéquates ont circulé, l'imitatio affectuum spinozienne a propagé les affects à travers l'INTER, mais aucune nouvelle configuration INTER ne s'est cristallisée autour d'eux. C'est pourquoi la plupart des participants à la séquence anti-capitaliste des années 2010 s'en souviennent comme d'une défaite : non parce que la Réflexion n'a pas eu lieu, mais parce que la phase de Recréation qui a suivi a été captée. Une transition politique qui ne se branche sur aucun affect mobilisé est dans la même situation qu'un module sans AC : un code smell, un défaut typable, un échec de compilation morale qui aurait dû être détecté à l'instant.

Le pont 4 est donc cette double exigence de traçabilité : refuser les chaînes interrompues, en logiciel comme en politique, et faire de l'interruption un défaut nommable plutôt qu'un état de fait acceptable.

6. Pont 5 — Le point fixe et la lignée📋

J'arrive ici à ce qui est, philosophiquement, le pont le plus profond du projet. Les deux corpus reposent sur un point fixe formel, et ce point fixe a une lignée commune que je peux nommer.

Côté MDE, le point fixe est l'auto-description du M3. Les cinq primitives [MetaConcept], [MetaProperty], [MetaReference], [MetaConstraint], [MetaInherits] sont elles-mêmes annotées en utilisant ces primitives. M3 décrit M3, sans M4. Et tspec, le système de typed specs, suit ses propres requirements en utilisant son propre format — il mange sa propre nourriture pour chien, comme on dit dans le métier. Le point fixe est circulaire mais il est productif : le système se garantit lui-même en acceptant que sa garantie passe par lui-même.

Côté métacratie, le point fixe est dans §9 de Silences et Chantiers, intitulé « Les silences du source comme indices phénoménologiques ». J'y applique le cadre métacratique au cadre métacratique lui-même : les quatre diapositives blanches du source de 2017 (les sections intitulées STRUCTURE HIÉRAR-CHIQUE, STRUCTURE ANAR-CHIQUE, SUPER-STRUCTURE, SUPRA-STRUCTURE qui n'avaient que leurs titres et aucun contenu développé) sont lues comme le SUFRA propre à l'écrivain-citoyen de 2017. Ce que je n'avais pas pu écrire en 2017 sur ces quatre concepts était la part de mon présent que je ne pouvais pas encore lire à propos de moi-même, et que 2026 commence à pouvoir lire parce que le SUFRA de 2017 a été partiellement déclassifié par les neuf années intervenues. C'est exactement le geste autopoïétique au sens fort de Maturana et Varela — un système qui se constitue en se décrivant — appliqué à mon propre texte.

Et voici le pont. Les deux frameworks dérivent leur appareil formel de la même source : les graphes conceptuels de John F. Sowa, eux-mêmes branchés sur Charles Sanders Peirce. Sowa, dans Conceptual Structures (1984) et dans sa top-level ontology (consultable sur jfsowa.com/ontology/toplevel.htm), construit un metamodel ontologique paramétré par trois distinctions binaires (Indépendant / Relatif / Médiateur — qui héritent directement des catégories peirciennes de Firstness, Secondness, Thirdness × Physique / Abstrait × Continuant / Occurrent), qui produisent douze catégories top-level. C'est, structurellement, un M3 ontologique, et c'est l'ancêtre conceptuel commun à toute la pile MOF (qui s'en est inspirée à l'OMG dans les années 1990) et à la formalisation graphe-théorique vers laquelle Silences et Chantiers §6 se déplace.

J'ai rencontré Sowa à dix-huit ans, en parallèle des outils Eclipse de l'époque, et il a structuré ma pensée durablement. Je raconte cette rencontre dans la page biographique age-18-model-driven parce qu'elle est antérieure à mon travail métacratique de 2017 et qu'elle en explique probablement, a posteriori, certains gestes architecturaux dont je n'avais pas vu la filiation à l'époque. Ce qui m'avait frappé chez Sowa et qui me frappe encore aujourd'hui, c'est son honnêteté intellectuelle face aux limites de son propre système. Il écrit, à propos de sa top-level ontology : « the other axioms cannot be stated formally until a great deal more has been fully formalized », et il reconnaît un problème de régression infinie qu'il ne résout pas — les axiomes physiques dépendent de prédicats qui demandent à leur tour à être formalisés, et ainsi de suite. Cet aveu n'est pas un défaut. C'est exactement ce que Tarski a démontré formellement en 1933 (la vérité d'un langage demande un méta-langage strictement plus expressif) et ce que Gödel a démontré en 1931 (tout système suffisamment riche pour s'auto-décrire est incomplet ou inconsistant). Un meta-metamodel peut être syntaxiquement auto-descriptif sans être sémantiquement auto-fondé, et le geste honnête est d'hériter de cette limite plutôt que de la cacher.

Cette honnêteté est la force du projet, et elle est exactement ce que demande la position philosophique que je place en épigraphe : We must be systematic, but we should keep our systems open. Whitehead, dont Sowa cite cette phrase en clé de voûte de sa propre ontologie, est lui-même un mathématicien-philosophe qui a fait le chemin des Principia Mathematica (1910–1913, avec Russell — l'un des sommets du formalisme logique du XXᵉ siècle) à Process and Reality (1929 — sa métaphysique processuelle ouverte, qui accepte par construction l'incomplétude du formalisable). Sa maxime n'est pas une posture. C'est la leçon d'une vie de pratique. Et elle est, en sept mots, ce qui résout par avance l'objection que Castoriadis lancera cinquante ans plus tard contre tous les structuralismes : non, la métacratie ne prétend pas épuiser l'instituant ; elle est systématique dans ce qu'elle peut nommer et ouverte à ce qu'elle ne peut pas encore nommer. Le magma instituant continue son travail à côté, et les nouvelles instances LoiDSL(Ex × Ty+1) accueilleront ce qui aura été nommé pendant l'intervalle.

Bertrand Meyer, sans probablement avoir lu Whitehead, formulera la même chose en 1988 sous le nom de Open/Closed Principle (ouvert à l'extension, fermé à la modification). C'est le O de SOLID, et c'est exactement le geste des DSLs ouverts et des Source Generators. Be systematic = engineering rigoureux + Source Generators = pas de drifts, comme je l'ai écrit ailleurs. La non-dérive locale assurée par la formalisation rigoureuse, l'extensibilité globale assurée par l'architecture ouverte. C'est SOLID appliqué à la pensée politique.

Encart — SOLID, et pourquoi c'est non-négociable dans les ateliers de génie logiciel

SOLID, c'est cinq contraintes formulées entre 1988 (Meyer, Object-Oriented Software Construction) et 2000 (Robert C. Martin qui en frappe l'acronyme), et chacune a une forme concrète, un coût concret, un gain concret. Ce n'est pas du folklore : si on ne peut pas pointer la ligne de code où la contrainte est enforced, on ne fait pas du SOLID, on récite des slogans. Je le dis comme cela parce que c'est exactement ce que je dis à mes collaborateurs sur les projets que je conduis, et c'est ce que mes propres projets enforcent.

• S — Single Responsibility (Une seule raison de changer). Pensez à une cuisine professionnelle : il y a un couteau pour fileter le poisson, un autre pour hacher les herbes, un autre pour désosser la viande. Le chef ne fait pas un seul couteau qui essaierait de tout faire, parce que dès qu'on aurait à modifier la lame pour mieux fileter, on dégraderait sa capacité à hacher. Chaque outil a un métier, et il en est responsable seul. En logiciel, c'est la même règle : chaque composant doit avoir une raison de changer, et une seule. Si je dois retoucher trois choses sans rapport dans le même fichier, c'est que ce fichier porte trois métiers, et je dois les séparer. Une seule responsabilité = un seul angle de modification = un seul vecteur de régression.
• O — Open/Closed (Ouvert à l'extension, fermé à la modification). Imaginez une maison qu'on aurait conçue de telle façon qu'on puisse lui ajouter une nouvelle pièce sans démolir les murs existants. La maison reste « ouverte » à l'agrandissement, mais elle est « fermée » à la modification de ce qui fonctionne déjà. Quand un nouvel usage apparaît, on branche un nouveau module sur les points d'extension prévus à cet effet ; le bâti d'origine ignore qu'il a un nouveau voisin, et continue de tenir exactement comme avant. C'est exactement la maxime de Whitehead que j'ai citée plus haut, transposée à une pratique : systematic but open. Le O est la lettre du pont 5, et c'est aussi la lettre qui rend la métacratie pensable comme architecture vivante plutôt que comme cathédrale figée.
• L — Liskov Substitution (Substituabilité honnête). Pensez à un câble USB-C. N'importe quel câble qui prétend être USB-C doit fonctionner dans n'importe quelle prise USB-C. S'il ne tient pas la charge promise, s'il ne transmet pas la vidéo, s'il surchauffe en silence — il ment sur sa nature. Ce n'est pas un USB-C, c'est un objet déguisé en USB-C, et c'est exactement ce contre quoi tous les utilisateurs floués du monde se plaignent. En logiciel, c'est la même règle : tout composant qui prétend remplir un contrat doit l'honorer dans tous les cas, sans exception silencieuse, sans piège caché, sans succès trompeur. Un composant qui hérite d'un contrat sans le tenir est un mensonge typé, et un bon système doit pouvoir l'attraper avant qu'il n'arrive en production. C'est la lettre qui empêche les substitutions traîtres.
• I — Interface Segregation (Petites interfaces, petits contrats). Imaginez qu'on vous demande de signer un contrat de cinquante pages alors que vous êtes juste venu acheter une baguette. C'est absurde — et pourtant c'est exactement ce que font les logiciels mal conçus : ils forcent leurs consommateurs à dépendre d'une grosse interface monolithique alors qu'ils n'en utilisent qu'un dixième. La règle inverse — et c'est la norme dans mes projets — c'est plusieurs petites interfaces, chacune avec un seul rôle nommé, chacune avec une seule chose à faire. Conséquence directe : tester devient trivial (un faux composant tient en trois lignes, sans framework de mocking), le graphe des dépendances reste lisible à l'œil nu, et personne ne signe un contrat qui ne le concerne pas. C'est la lettre qui rend les autres lettres tenables — sans elle, le S et le D s'effondrent sous leur propre poids cérémoniel.
• D — Dependency Inversion (Inversion des dépendances). Pensez à une prise électrique murale. Votre lampe ne sait pas d'où vient l'électricité — centrale nucléaire ? barrage hydraulique ? éolienne ? panneau solaire ? La centrale, de son côté, ne sait pas non plus quelle lampe va être branchée chez vous, ni à quelle heure. Les deux dépendent d'un standard partagé : la forme de la prise, le voltage, la fréquence du courant alternatif. Ce standard, c'est l'abstraction. Personne ne dépend directement de personne ; tout le monde dépend du standard. En logiciel, c'est cela qui rend possible le remplacement, le test, l'évolution : le code de haut niveau ne dépend pas des détails du bas niveau ; les deux se rencontrent à une interface explicite et stable, et chacun peut évoluer derrière son côté du contrat sans casser l'autre.

Et c'est pourquoi c'est non-négociable. Parce que sans SOLID, la modularité n'est qu'un mot d'apparat. Et la modularité n'est pas un confort esthétique de développeur : c'est la condition pour qu'un système puisse vivre, c'est-à-dire évoluer sans qu'on doive le réécrire à chaque pas. C'est ce que les ateliers de génie logiciel — ceux qui ont vraiment construit, pas seulement diagrammé — savent depuis trente ans, et c'est ce que les écosystèmes EMF, Roslyn, Eclipse Modeling Framework ont enforcé chacun à leur manière. Un système non-SOLID n'évolue pas : il se sédimente, puis il s'ossifie, puis il est jeté et réécrit, et chaque réécriture perd la mémoire des cas-limites que la version précédente avait fini par apprendre. SOLID est ce qui permet à un système d'apprendre cumulativement au lieu de cycliquement.

Et c'est pourquoi un DSL n'est rien d'autre qu'une modularisation rigoureuse d'un DSL plus général. On prend un metamodel partagé (le M2 commun), on le spécialise pour un domaine (l'instance — France2026.LoiDSL, Cmf.Content, BinaryWrapper.Vagrant), on l'implémente par un Source Generator qui en émet les conséquences typées, on le passe par un quality gate qui refuse de compiler si une feature n'a pas son acceptance criterion ou si une AC n'a pas son test, et on le soumet à des fuzz tests qui jettent du bruit aux frontières pour voir où le typage cède. Spécification → spécialisation → implémentation → quality gate → fuzz-test → publication. Chaque flèche est une frontière SOLID. Chaque frontière SOLID est une garantie qu'un changement à droite ne casse rien à gauche.

Et c'est cela, exactement, qui justifie la projection politique : LoiDSL(Ex × Ty) et LoiDSL(Ex × Ty+1) ne sont pas deux versions du même fichier qu'on aurait éditées en place. Ce sont deux instances coexistantes du même metamodel paramétré. La première reste figée, et continue de gouverner les actes qu'elle a déjà émis ; la seconde accueille les nouveaux. SOLID appliqué à la pensée politique, c'est cela : ne jamais réécrire le passé pour accommoder le présent ; toujours étendre par instance nouvelle ; toujours laisser le compilateur croisé arbitrer les frictions entre deux instances cohabitantes. C'est le seul geste qui rend la délibération démocratique cumulative au lieu d'amnésique. Et c'est ce que la suite — pont 6 et pont 7 — va construire en détail.

Je dois mentionner ici l'inventaire des tentatives historiques qui ont essayé de produire des écosystèmes auto-descriptifs et opérationnels — parce que la question m'a été posée explicitement en cours de rédaction, et que la réponse est instructive pour comprendre où la métacratie se situe. EMF / ecore dans le monde Eclipse est la réussite la plus pure de l'auto-description opérationnelle, avec son ecore.ecore qui décrit Ecore en Ecore — mais EMF n'a jamais sorti d'Eclipse, et Roslyn dans le monde Microsoft a refait à la main beaucoup de ce qu'EMF faisait sans s'en inspirer. OMG MOF est un standard international parfait sur le papier et peu implémenté dans la pratique. UML exécutable (xtUML, fUML) a été un échec relatif des années 2000–2010, pour trois raisons cumulées : action languages aussi verbeux que Java sans gain de lisibilité, refus sociologique des développeurs de dessiner plutôt que de taper, et surtout l'universalité tue la finesse — un metamodel universel qui essaie de tout couvrir finit par ne rien couvrir précisément. BPMN avec Camunda et Activiti est probablement la plus large réussite hors d'Eclipse, dans une niche bien définie (les processus métier). AtlanModZoo à l'INRIA Atlantic à Nantes, sous la direction de Jean Bézivin et Frédéric Jouault dans les années 2000, a porté le projet français le plus ambitieux : un zoo de metamodels coopérants avec ATL pour les transformer entre eux. Le zoo a été riche académiquement et n'est plus maintenu activement. MDA de l'OMG en 2001 a été un échec quasi total — top-down, bureaucratique, pas d'outils utilisables. La leçon générale est claire : les tentatives universelles ont échoué et les tentatives spécialisées ont réussi dans leur niche. Et c'est exactement la leçon qui justifie l'architecture de la métacratie : pas un méta-cadre universel du pouvoir (tentative XXᵉ siècle, échec), mais un cadre spécialisé pour la lecture des transitions de pouvoir indexées sur Espace × Temps, qui coopère avec d'autres cadres spécialisés sans prétendre les remplacer.

Le pont 5 est donc le point fixe formel, hérité de Sowa et de Whitehead, traversé par la maxime be systematic, keep systems open, et fortifié par l'honnêteté de Sowa face à la régression infinie. C'est la lignée philosophique et technique commune aux deux corpus, et elle est nommable.

7. Pont 6 — Discuter, décider, typer : le Parlement des choses opérationnalisé📋

Bruno Latour a essayé pendant trente ans de construire ce que je viens de nommer dans le pont 5 : un cadre qui prendrait au sérieux les non-humains comme participants politiques. Il l'a appelé le Parlement des choses dans Politiques de la nature (1999), puis l'a reformulé dans Enquête sur les modes d'existence (2012). L'idée centrale est que les rivières, les climats, les bactéries, les molécules, les algorithmes ne sont pas un dehors dépolitisé qu'on consulte — ils sont déjà politiques, et ils doivent avoir une voix institutionnalisée. Latour a passé sa carrière à démolir l'opposition « nature » / « société » au profit d'une écologie d'acteurs humains et non-humains.

Mais Latour est resté narratif. Il a écrit des livres et organisé des colloques. Il n'a pas, à ma connaissance, fabriqué le Parlement qu'il décrivait. Et c'est ici que je vois la jonction la plus directe avec ma propre pratique : dans le software, on discute, puis on décide des conventions, puis on type, puis on teste, on déploie, on observe, on debug, on lit les logs de production, et on isole les choses là où l'expérience montre que c'est nécessaire. Le verbe « typer » seul serait une ellipse ; il faut nommer le cycle en entier, parce que c'est ce cycle — et pas l'acte isolé du typage — qui distingue le software comme pratique mature des autres domaines de l'agir humain. Chaque étape produit du savoir sur les étapes précédentes : la discussion révèle des intuitions qu'on n'avait pas formulées, le typage révèle des incohérences que la discussion avait laissé passer, les tests révèlent des invariants qu'on avait oubliés de typer, le déploiement révèle des conditions d'environnement qu'aucun test ne reproduisait, l'observation en production révèle des comportements émergents, les logs révèlent des chaînes causales qu'aucun modèle mental n'avait anticipées, et le geste d'isolement — envelopper un composant dans une frontière plus stricte parce qu'il s'est révélé fragile — transforme l'expérience opérationnelle en architecture durcie. Chaque tour de boucle informe le tour suivant, et la pratique se constitue cumulativement, par sédimentation lente d'un savoir qui ne pouvait pas être entièrement anticipé au début. C'est précisément cette accumulation cyclique qui manque au politique tel qu'il se pratique aujourd'hui : on vote, on publie au Journal officiel, et on passe au sujet suivant — sans observer, sans lire les logs, sans isoler ce qui s'est révélé fragile à l'usage. Le geste politique opérationnel — créer un attribut cross-domain, le faire reconnaître par les pairs, l'intégrer au metamodel partagé, le tester contre les cas connus, le déployer, l'observer en production, et le durcir là où l'expérience aura montré qu'il fuit — est exactement le geste du Parlement des choses transposé à un domaine où ce cycle fonctionne déjà. Les Source Generators sont l'appareil génératif au sens fort. Un attribut C# qui décrit un domaine, un Source Generator qui génère ses conséquences en YAML, en DLL, en config, en API — c'est un Parlement des choses technique, dans lequel les non-humains (les attributs, les types, les contraintes) sont littéralement des participants qui parlent dans le résultat compilé. Pas par métaphore : par chaîne causale traçable. Quand mon Source Generator refuse de compiler parce qu'un attribut est mal articulé avec un autre, c'est un non-humain qui parle, et qui dit non.

Là où Latour décrit, le MDE fait. Cette différence n'est pas une supériorité du MDE sur Latour — c'est une complémentarité. Latour donne le cadre conceptuel (les non-humains parlent, il faut les écouter), le MDE donne l'outillage technique. Sans Latour, le MDE serait juste un outil sans portée philosophique. Sans le MDE, Latour resterait une belle idée. La métacratie est un troisième terme : elle prend le cadre latourien (les non-humains comme participants politiques), elle le matérialise par l'outillage MDE (les Source Generators comme parlement opérationnel), et elle l'applique à un domaine spécifique — la lecture des transitions de pouvoir indexées sur Espace × Temps, et bientôt l'écriture d'instruments métriques pour la délibération démocratique sur ces transitions.

Et voici le geste qui suit, et qui ouvre le pont 7 : on peut faire pareil pour n'importe quoi. Pas seulement pour le software qui s'exécute sur les serveurs. Pour les lois, par exemple. Pour les contraintes écologiques. Pour la frontière entre commun et privé. Pour l'application des décrets. Pour les algorithmes publics. Pour les contrats entre l'État et les cabinets de conseil. Pour tout ce qui mérite d'être typé, vérifié, et tracé. C'est ce que la suite du texte va construire en détail.

8. Pont 7 — Le DSL des lois, ou l'horizon constructif📋

J'arrive à l'aboutissement constructif du projet. Les ponts 1 à 6 étaient analytiques — ils décrivaient une jonction entre deux corpus existants. Le pont 7 est constructif — il propose un programme à mener, dont les briques techniques existent déjà et dont les briques philosophiques aussi. Ce qui manque, c'est de les assembler.

L'idée centrale est la suivante : on peut écrire un méta-DSL paramétré par (Espace × Temps) qui produit, pour chaque couple, un Loi.DSL spécifique au droit applicable dans cet espace à ce moment. La formule métacratique META(Ex × Ty), qui était jusqu'ici une notation philosophique, devient alors une signature de type au sens informatique strict. Le méta-DSL est l'M2 qui prend (Espace, Temps) en paramètre et instancie un Loi.DSL particulier ; et la transition métacratique META(Ex × Ty) → META(Ex × Ty+1) devient littéralement la migration entre deux instances de Loi.DSL — ce qui change, ce qui reste, ce qui doit être recompilé, ce qui produit des breaking changes.

Pour France2026.LoiDSL, on aurait une instance qui déclare les sources de droit reconnues (Constitution 1958, bloc de constitutionnalité — c'est-à-dire la Constitution + DDHC 1789 + Préambule 1946 + Charte de l'environnement 2004 + principes fondamentaux reconnus par les lois de la République —, lois organiques, lois ordinaires, ordonnances de l'article 38, décrets en Conseil d'État, décrets simples, arrêtés), leur hiérarchie stricte, les autorités compétentes pour chaque type d'acte, les procédures de contrôle (a priori avant 2008, QPC depuis 2008), et la procédure de révision constitutionnelle de l'article 89. Pour France1995.LoiDSL, la même chose mais sans la QPC (créée en 2008) et avec les caractéristiques institutionnelles de l'époque. Pour DroitInternational2026.LoiDSL, une grammaire fondamentalement différente parce que le droit international n'a pas de législateur unique, parce que ses sources (traités, coutume, principes généraux, jurisprudence) coexistent sans hiérarchie stricte sauf au sommet (le [JusCogens]), et parce que ses mécanismes de modulation (réserves, retraits, dénonciations) sont propres à la souveraineté étatique. Pour UE2026.LoiDSL, encore un autre cas avec les traités fondateurs au sommet, les règlements à effet direct, les directives qui requièrent transposition, et la CJUE comme autorité de contrôle.

À partir de là, on peut écrire un compilateur croisé qui prend deux ou plusieurs DSLs en entrée et émet des erreurs de compatibilité. Le cas le plus immédiat est le compilateur croisé Loi.DSL × Ecologie.DSL. Ecologie.DSL est un metamodel qui décrit l'état de l'infrastructure Terre — les neuf limites planétaires de Rockström et al. (2009, révisées par Richardson et al. en 2023, qui montrent que six limites sur neuf sont déjà franchies en 2023), le budget carbone IPCC restant pour respecter l'objectif 1,5°C, les cycles biogéochimiques de l'azote et du phosphore, l'eau douce disponible par bassin versant, l'acidification des océans, la dégradation des sols. Une instance France.Ecologie.2026 contient les valeurs concrètes pour la France à ce moment — par exemple un budget carbone résiduel de 180 MtCO2eq pour la période 2026–2050. Et le compilateur croisé France2026.LoiDSL × France.Ecologie.2026 vérifie que toute loi codifiée dans la première instance respecte les contraintes de la seconde. Si un projet de loi autorisant l'exploitation du gaz de schiste émettrait 230 MtCO2eq sur la durée du permis, le compilateur émet :

[Compile Error CRX001]
LoiAutorisationGazDeSchiste violates France.Ecologie.2026.BudgetCarbone2026:
  émissions estimées        = 230 MtCO2eq
  budget carbone restant    = 180 MtCO2eq
  dépassement               = +50 MtCO2eq (+27,8 %)
→ loi non-compilable en (France2026.LoiDSL × France.Ecologie.2026)

Résolutions suggérées (aucune automatique — délibération politique requise) :
  1. Réduire le périmètre de l'autorisation
  2. Compenser par retrait équivalent dans un autre secteur
  3. Réviser BudgetCarbone2026 (mise à jour Ecologie.DSL avec nouvelles données IPCC,
     ET débat public assumant le dépassement de l'objectif 1,5°C)
  4. Renoncer au projet législatif

Note : cette contrainte est physique, non politique. Les lois de l'atmosphère
ne se votent pas.

Ce compile error est, littéralement, la constitutionnalisation matérielle du droit par l'écologie. Et il a une lignée juridique et philosophique française précise : Mireille Delmas-Marty (les biens communs comme catégorie juridique nouvelle dans Aux quatre vents du monde, 2016), Marie-Angèle Hermitte (les droits de la nature, le statut juridique du vivant), Catherine Larrère (l'éthique environnementale française dans Penser et agir avec la nature, 2015), Christine Noiville (le principe de précaution comme catégorie juridique), et l'arrêt Grande-Synthe du Conseil d'État (2020 et 2021) qui, pour la première fois, a enjoint le gouvernement français à prendre des mesures supplémentaires pour respecter ses propres engagements climatiques. Le compilateur croisé Loi.DSL × Ecologie.DSL est, littéralement, l'instrument technique qui matérialise l'esprit de l'arrêt Grande-Synthe et qui prolonge le programme de Delmas-Marty et de ses héritiers. Là où ces juristes plaidaient pour une évolution du droit, je propose une implémentation technique qui rend leurs théories exécutables.

Et le programme se prolonge. Au-dessus de chaque loi particulière encodée dans une instance Loi.DSL, on peut ajouter un DSL ad-hoc de suivi qui spécifie comment la loi doit être instrumentée dans la réalité opérationnelle. L'architecture devient une pile en six couches : M3 (Sowa), M2(a) (le méta-DSL LoiDSL<Ex, Ty>), M2(b) (l'instance France2026.LoiDSL), M1(a) (une loi particulière, par exemple LoiAGEC — la loi anti-gaspillage et économie circulaire de février 2020), M1(b) (le DSL ad-hoc de suivi LoiAGEC.SuiviDsl), et M0 (l'exécution opérationnelle : la base de données réelle, le tableau de bord public, l'API, les rapports). Le M1(b) est l'innovation par rapport au MOF originel : il rend explicite que dans le politique, une loi a une dimension juridique (le texte) et une dimension opérationnelle (le dispositif qui en mesure l'application), et que l'écart entre les deux est précisément le SUFRA en miniature. Une loi votée mais non outillée pour le suivi est une loi dont l'effet est invisible aux sujets.

Et il faut le dire tout de suite : ces DSLs ad-hoc d'observabilité et d'opérationnalisation existent déjà. Pas dans le politique encore — mais dans le logiciel et l'industrie en général, ils sont devenus la norme silencieuse de la dernière décennie. OpenTelemetry, le standard CNCF d'observabilité issu de la fusion d'OpenTracing et OpenCensus en 2019, est exactement un Observability.DSL : on déclare ce qu'on veut mesurer (traces, métriques, logs structurés), un agent générique en émet les conséquences vers le backend choisi (Prometheus, Jaeger, Tempo, Loki, Datadog, Honeycomb), et le code applicatif n'a plus à connaître la cible — il connaît le DSL. Helm, le gestionnaire de packages Kubernetes, est un Ops.DSL en activité depuis 2016 : un chart Helm est un DSL en lui-même puisqu'il rend paramétrique la génération d'un artefact (les manifests YAML Kubernetes) qui sera consommé plus bas dans la chaîne par l'API Kubernetes pour matérialiser un déploiement réel. Terraform est un autre Ops.DSL, déclaratif, qui décrit l'état désiré de l'infrastructure cloud et calcule la différence avec l'état observé pour la converger. Et le Ops.DSL que je construis dans mes propres projets prolonge ce geste à un cran d'abstraction au-dessus : déclaration typée en C# des intentions de déploiement, convergence du réseau d'après config, détection des drifts (les écarts entre l'état déclaré et l'état observé), génération du SBOM (Software Bill of Materials) sous le format SPDX ou CycloneDX, le tout par Source Generators qui émettent l'outillage opérationnel à partir d'une seule source de vérité.

Ce qu'il faut nommer là, c'est la dimension métaphysique qui est en train d'apparaître sans qu'on s'en saisisse politiquement. L'infrastructure n'est pas un en bas honteux du software, ce n'est pas la « plomberie » subalterne qu'on délègue aux ingénieurs DevOps en attendant que les vraies décisions soient prises ailleurs. L'infrastructure, c'est l'endroit où les choses se concrétisent, se réalisent, s'opèrent. Quand je vais sur Gmail dans mon navigateur, je m'adresse à un data center bien réel — un bâtiment, des racks, des câbles, de l'électricité, de l'eau de refroidissement, des humains qui en assurent la maintenance, des contrats de fourniture, un terrain physique sur une carte — où mes octets prennent existence matérielle pendant la fraction de seconde de leur traitement. Le data center est l'M0 de Gmail. Et la chaîne entre ce que Google déclare dans ses Helm charts et ce qui se passe dans le data center est exactement la chaîne descendante qu'on voudrait pouvoir tracer pour une loi : déclaration → spécialisation → paramétrisation → génération → application → état observable. Chaque maillon est, dans le software, un DSL ad-hoc, et chaque DSL est aujourd'hui typé, vérifiable, et traçable. Chaque maillon, dans le politique, est un cran d'institutionnalisation qui aujourd'hui repose sur des pratiques administratives non-typées et non-vérifiables — sur des PDF, des arrêtés tabulaires, des notes de service, des chaînes humaines de transmission qu'aucun compilateur ne peut auditer.

Le M1(b) « DSL ad-hoc de suivi » n'invente donc rien — il transpose. Le geste n'est pas une innovation théorique ; c'est l'application au politique d'une pratique déjà mature dans l'ingénierie depuis dix ans. Quand l'INSEE produit un indicateur, quand la DGFiP exécute un calcul d'impôt, quand le Ministère de la Transition écologique publie un budget carbone, tout cela est déjà de l'infrastructure d'État, et tout cela tourne sur des serveurs réels dans des data centers réels. Mais cette infrastructure est généralement construite en aval de la loi, par des cabinets de conseil ou des équipes internes, sans correspondance vérifiable entre le texte voté et l'instrumentation déployée. La loi est dans un PDF au Journal officiel ; le code de la DGFiP est dans un dépôt interne ; et l'écart entre les deux n'est audité par personne — sauf par Catala, justement, et seulement sur les portions qui ont été ré-encodées. Le M1(b) typé propose de fermer la boucle : que la loi déclare elle-même ses propres exigences d'observabilité, et que les mêmes Source Generators qui produisent aujourd'hui des dashboards Grafana pour Kubernetes produisent demain des tableaux de bord publics pour le suivi des lois sous licence Etalab 2.0. La technique existe. Le pattern existe. Les outils existent. Ce qui manque, c'est la décision politique de l'utiliser, et la nomination explicite que c'est cela qu'on est en train de faire — pas une « modernisation » vague, mais l'extension au politique d'un appareil métaphysique qui est déjà à l'œuvre dans le software de production.

Le DSL ad-hoc de suivi générerait, par Source Generators, l'infrastructure technique complète : la base de données pour stocker les métriques, le tableau de bord public en HTML et en API REST, les endpoints d'API ouverte sous licence Etalab 2.0, les scripts d'ingestion des données ouvertes, les règles d'alerte graduées, les templates de rapports mensuels et annuels, la documentation publique. Tout cela à partir d'une seule déclaration typée, par les mêmes Source Generators que ceux que j'utilise déjà pour CMF, Ops.DSL, feature-tracking, typed-docker. Le saut technique pour transposer cet outillage au juridique-écologique est minime. La distance entre « j'ai l'intuition qu'on pourrait » et « c'est en cours, voici les résultats » n'est pas grande — il faut juste lire le papier de Catala et rejoindre la conversation.

Catala, justement. C'est ma découverte la plus importante en cours de rédaction de cette page, et je dois la nommer comme telle. Catala est un langage de programmation pour le droit, développé à l'INRIA Paris (équipe Prosecco) à partir de 2019 par Denis Merigoux, Nicolas Chataing, et Jonathan Protzenko, présenté à POPL 2022 (papier disponible sur arXiv:2103.03198). L'idée centrale de Catala est que le droit écrit (le Code des impôts, le Code de la sécurité sociale) est déjà quasi-formel — il a une structure logique de conditions, exceptions, cas particuliers, dérogations — que les juristes manipulent à la main mais qui pourrait être exécutée si on l'écrivait dans un langage adapté. Catala fait précisément ça. Et le résultat empirique le plus marquant est que Catala a été utilisé pour encoder une partie du Code des impôts français et y a trouvé des erreurs dans l'implémentation existante de la DGFiP — pas des erreurs juridiques, mais des erreurs de codification où le code informatique de la DGFiP ne correspondait pas exactement à ce que la loi écrite spécifiait. Le compilateur Catala, en imposant une correspondance vérifiable entre texte de loi et programme, a rendu visibles ces écarts. C'est exactement le théorème d'expressivité du pont 2 mis en pratique : la couche de vérification (Catala) a installé une lisibilité (les écarts code/loi) qui n'existait pas avant.

Cette découverte change le statut du pont 7. Au moment où j'écrivais le présent texte, j'ai pris conscience qu'un programme dont j'avais l'intuition existe déjà partiellement, sous le nom Catala, à l'INRIA, en France. Cette découverte ne change pas la thèse ; elle la confirme empiriquement et déplace la tâche : il ne s'agit plus de proposer un horizon, il s'agit d'aider à le construire. Le pont 7 n'est pas une utopie isolée, il est une jonction avec un programme français vivant qu'il faut prolonger.

Et le programme se prolonge encore d'un cran avec ce que j'appelle le compilateur dynamique. Jusqu'ici, j'ai parlé de vérification statique : le compilateur émet des erreurs au moment où la loi est écrite, comme un compilateur C# émet des erreurs au moment où le code est écrit. Mais on peut aller plus loin. Le compilateur peut produire du code qui vérifiera en continu, à l'exécution, que les termes de la loi sont validés dans la réalité. C'est la transposition au droit de ce que Bertrand Meyer appelle, depuis 1986 dans Eiffel et dans son livre canonique Object-Oriented Software Construction (1988, deuxième édition 1997), le Design by Contract : précondition, postcondition, invariant. Une loi a des préconditions (les conditions à remplir pour qu'elle s'applique), des postconditions (les résultats attendus, mesurables), et des invariants (les états qui doivent être maintenus pendant toute sa durée de validité — son intelligibilité, sa conformité au bloc de constitutionnalité, son non-dépassement du budget carbone). Le compilateur dynamique génère, à partir de ces contrats, le code d'instrumentation qui mesure dans la réalité si les contrats sont satisfaits — et qui déclenche des alertes si la trajectoire dérive, qui suggère des corrections, qui publie tout en open data sous licence Etalab.

Pour la loi AGEC, par exemple, les postconditions seraient : taux de tri sélectif moyen supérieur à 60 % par commune en 2030, indice de réparabilité moyen supérieur à 7/10 pour l'électronique grand public, réduction de 50 % du gaspillage alimentaire entre 2015 et 2030. Le compilateur dynamique générerait un service d'ingestion qui interroge en continu les sources de données ADEME, INSEE et DGCCRF ; un calculateur de métriques qui agrège par commune, bassin et catégorie ; un tableau de bord public à lesLois.fr/agec/dashboard ; un système d'alertes graduées qui notifie ADEME, préfets, parlementaire rapporteur et grand public selon les seuils dépassés ; un détecteur de divergence de trajectoire qui projette la tendance actuelle vers la date cible et alerte si la cible ne sera pas atteinte ; et une publication open data continue. Tout cela généré automatiquement à partir d'une seule déclaration de contrats, par les Source Generators C# que je maîtrise déjà.

Le compilateur dynamique est le maillon manquant entre la spécification (typed specs), le suivi (DSL ad-hoc) et la correction de trajectoire (boucle de feedback démocratique). Il rend l'ensemble cybernétique au sens fort de Norbert Wiener (Cybernetics, 1948). Et il faut nommer ici son ancêtre historique : Cybersyn, le projet de gouvernance économique en temps réel de Stafford Beer au Chili sous Allende (1970–1973), qui voulait remonter en continu les indicateurs économiques depuis les usines vers une salle de contrôle centrale. Cybersyn a été détruit par le coup d'État de Pinochet en septembre 1973. La différence entre Cybersyn et ce que je propose est cruciale : Cybersyn était centralisé et vertical, le compilateur dynamique que je propose est démocratique-distribué et horizontal. Les données sont publiques en open data, les contrats sont publics en open source, les alertes sont notifiées au grand public en plus des autorités, et les corrections suggérées restent des propositions que le peuple souverain peut accepter, modifier ou rejeter par ses procédures démocratiques. C'est le Cybersyn que l'histoire aurait pu produire si Pinochet n'avait pas fait son coup d'État, et si Stafford Beer avait connu Whitehead, Sowa, Meyer, Ostrom, et Dupuis-Déri.

Et la galerie de DSLs coopérants ne s'arrête pas à la loi et à l'écologie. Construction.DSL (la construction concentre 40 % des émissions de CO2 mondiales et un labyrinthe réglementaire qui a coûté huit vies à Marseille rue d'Aubagne en 2018) ; Sante.DSL (qui aurait rendu Health Data Hub non-compilable en 2019) ; Travail.DSL (qui aurait rendu l'amiante non-compilable dès les premières études épidémiologiques croisées des années 1970) ; Energie.DSL (qui rendrait toute nouvelle centrale fossile non-compilable contre le budget carbone) ; Numerique.DSL (qui aurait rendu Cambridge Analytica non-compilable en 2014) ; Justice.DSL (qui rendrait la surpopulation carcérale française visible en temps réel comme violation continue de l'article 3 de la CEDH) ; Alimentation.DSL (qui aurait rendu la procrastination sur le glyphosate visible comme violation continue de la Charte de l'environnement) ; Migration.DSL (qui rendrait chaque placement de mineur en rétention administrative non-compilable contre la jurisprudence Popov c. France 2012) ; Information.DSL (qui aurait rendu chaque rachat successif du groupe Bolloré non-compilable contre l'objectif de valeur constitutionnelle de pluralisme reconnu depuis la décision n° 84-181 DC du 10-11 octobre 1984). La liste est ouverte par construction. C'est exactement le rêve AtlanModZoo de Bézivin, transposé du software académique au politique-démocratique militant et opérationnel.

Et tout cela, je le précise pour dissiper tout malentendu, est immédiatement faisable avec les outils que je maîtrise déjà — Roslyn Source Generators, C#, OpenAPI pour les endpoints, Prometheus et Grafana pour les dashboards, des sources de données ouvertes existantes (data.gouv.fr, ADEME, INSEE, Légifrance, Eurostat). Le bootstrap modeste tient en six étapes sur neuf mois : Loi.DSL minimal et France1995.LoiDSL qui code la décision 95-86 PDR pour démontrer le compile error sur le rognage de Dumas (mois 1–2) ; LoiComplexityAnalyzer appliqué au Code des impôts pour publier ses scores d'inintelligibilité et faire du bruit médiatique (mois 3) ; Ecologie.DSL minimal et compilateur croisé sur quelques projets d'autorisation gaz et pétrole en cours (mois 4–5) ; Construction.DSL minimal sur dix permis de construire publics récents pour démontrer ce que l'analyzer aurait dit avant leur délivrance (mois 6) ; plateforme publique LesLois.fr qui expose le tout en open data, API et dashboards (mois 7–8) ; et appel à contributeurs pour enrichir les DSLs (mois 9 et au-delà). À la fin du processus, le projet devient lui-même un commun numérique au sens strict, gouverné démocratiquement, dont la maintenance est partagée et dont l'usage ne peut pas être privatisé. L'outil incarne sa propre théorie.

Lagasnerie 2026 — l'allié sur le diagnostic, le frère ennemi sur la réponse📋

Et puisque cette page sera lue en 2026, il faut nommer Lagasnerie. Geoffroy de Lagasnerie a publié le 25 février 2026 chez Flammarion (collection « Nouvel avenir ») L'âme noire de la démocratie. Manifeste pour un autre idéal politique — un livre court, 208 pages, qui retourne d'un seul geste la perspective doxique. Lagasnerie ne propose pas de réformer la démocratie, il propose de la questionner en elle-même, de traiter sa « crise » et la lassitude qu'elle inspire non comme des accidents à corriger mais comme les conséquences de ses mécanismes intrinsèques — vote, représentation, souveraineté, parlementarisme. Son argument central tient en une phrase : « il n'y a pas de rationalité qui découle de la majorité ». Son exemple le rend tangible : sans enfant ni expertise pédagogique, Lagasnerie estime ne pas devoir voter sur les rythmes scolaires ou les programmes — la compétence doit être spécifique, et la procédure démocratique qui agrège indistinctement les opinions ne discrimine pas la vérité, elle discrimine entre opinions. La solution qu'il propose est conséquente : un dispositif où des « normes rationnelles » et le savoir scientifique pourraient censurer les lois qui contredisent les faits établis, sur le modèle d'une Cour constitutionnelle élargie au scientifique. La lignée qu'il revendique est progressiste-libertaire : Bakounine, Thoreau, Simone Weil. La réception en mars-avril 2026 a été nettement positive — Les Inrocks parle de critique « radicale et contre-intuitive », Blast de « thèse troublante », et la recension de Mediacoop du 26 mars trouve l'approche stimulante.

Sur le diagnostic, je signe — beaucoup plus largement que ce que j'aurais cru avant de lire le livre. Avoir une opinion ne suffit pas à donner pouvoir sur la vie d'autrui. Cette phrase, je la signe. La lignée qui la rend lisible, ce n'est pas Lagasnerie qui me la donne — c'est Spinoza dans le Traité politique sur les passions imaginatives qui parlent à travers les hommes, c'est Lordon dans Capitalisme désir et servitude (2010) sur la capture matérielle des affects par le rapport salarial, c'est Bourdieu sur la doxa, c'est Stiegler sur la prolétarisation cognitive, c'est Adorno et Horkheimer sur les industries culturelles. La parole publique contemporaine est captée avant d'être prononcée — par les conglomérats médiatiques (Bolloré qui rachète successivement Vivendi, Hachette, Prisma, Editis et CNews depuis 2014, ce que la décision n° 84-181 DC d'octobre 1984 sur le pluralisme aurait dû interdire), par la publicité politique algorithmique (Cambridge Analytica), par la doxa qui parle à travers nous quand nous croyons parler. Lagasnerie regarde cette situation et il n'a pas tort. Le projet métacratique partage ce diagnostic intégralement. La question ne peut donc pas être de défendre une démocratie naïve où n'importe quelle opinion vaudrait n'importe quelle autre — la question est ce qu'on en fait.

C'est ici que les chemins divergent radicalement, et la divergence n'est pas démocratie contre épistocratie. Lagasnerie tire du diagnostic une conclusion concentrante : si la compétence est rare, confions-la à un corps d'experts qui filtrera les lois. C'est la solution Madison/Sieyès du XVIIIᵉ siècle dont Dupuis-Déri a démonté le vocabulaire en 2013 ; c'est la solution Habermas-light de l'éthique de la discussion entre savants qualifiés ; c'est, exactement, la solution Conseil constitutionnel élargi au scientifique. Mais il y a une autre conclusion possible, distributive, et elle a sa propre lignée que je revendique — Condorcet et l'instruction publique comme précondition matérielle de la citoyenneté (1791-1792, jamais entièrement appliquée), Castoriadis et la paideia comme formation de l'autonomie dans L'institution imaginaire de la société (1975), Paulo Freire et la conscientização comme libération de la parole captée des opprimés brésiliens (Pédagogie des opprimés, 1968), Lordon et la libération matérielle des affects qui parlent à travers nous. Cette tradition dit autre chose : la compétence n'est ni innée ni concentrée chez les experts ; elle est produite dans le demos par formation et par outillage. Le citoyen-épistocrate n'est pas un oxymore — c'est le sens classique du mot « citoyen », celui de la IIIᵉ République et de l'école publique gratuite, laïque et obligatoire de Jules Ferry de 1881-1882. Et c'est ce sens qu'il faut ré-armer en 2026 avec des outils nouveaux, parce que l'instruction publique seule, telle qu'elle existe encore, n'est plus à l'échelle de la complexité juridique et écologique contemporaine.

Et le Loi.DSL est, exactement, l'un de ces outils nouveaux — une prothèse épistémique pour citoyen-épistocrate. Quand le Code des impôts français est typé en Catala par l'équipe Prosecco de l'INRIA, ce n'est pas pour qu'un expert valide à la place du citoyen ; c'est pour que n'importe quel citoyen puisse interroger la cohérence d'une disposition fiscale sans avoir trois ans de droit fiscal derrière lui. Le compilateur prend en charge la cohérence M0/M1 — la plomberie juridique : non-contradiction interne, conformité au bloc de constitutionnalité, respect du budget carbone, vérification de l'intelligibilité au sens de l'objectif de valeur constitutionnelle reconnu par la décision n° 99-421 DC du 16 décembre 1999. C'est exactement ce que personne ne veut délibérer parce que c'est mécaniquement vérifiable. Et il libère ainsi le temps cognitif et politique pour la délibération M2/M3 — c'est exactement ce que personne ne veut déléguer : qu'est-ce qu'un commun, où passe la frontière privé/public, quelle est l'infrastructure Terre qu'on s'engage à protéger, quelle hiérarchie reconnaître entre droits qui se contredisent. Le geste est rigoureusement homologue à celui de Sowa avec les graphes conceptuels (rendre lisible ce qui était implicite), de Bertrand Meyer avec le Design by Contract (rendre vérifiable ce qui était promesse orale), et de Lessig avec Code is Law lu dans le bon sens (faire que le code reste subordonné à la loi délibérée plutôt que l'inverse). Le DSL est une prothèse épistémique au sens strict — il fait pour le citoyen ordinaire ce que les graphes conceptuels faisaient pour Sowa lui-même : il rend possible un acte cognitif qui sans lui exigerait dix ans d'études spécialisées. C'est cela, l'épistocratie distribuée. C'est cela, le sens fort de citoyen.

Et c'est pour cela que le cas Dumas 1995 tranche empiriquement la querelle entre Lagasnerie et moi. Lagasnerie veut renforcer exactement le type d'instance qui a permis Dumas : un corps coopté qui « exerce imagination et habileté » au nom d'une rationalité supérieure à la loi écrite. L'histoire française récente a déjà fait l'expérience de l'épistocratie cooptée, et elle s'appelle Dumas — neuf magistrats cooptés qui décident en secret de rogner les comptes de campagne de Chirac et Balladur sous le plafond légal, et dont la décision n'est lisible que vingt-cinq ans plus tard, par déclassification archivistique combinée à un aveu volontaire. Le Loi.DSL est ce qui aurait empêché ce rognage — non pas parce qu'un autre expert l'aurait censuré (un expert peut être coopté, c'est exactement ce qui s'est passé en 1995), mais parce qu'un compilateur public et libre aurait refusé de produire un binaire incohérent avec le texte voté. La différence est constitutive : un expert peut être acheté ou coopté, un compilateur ne peut être que reprogrammé — et la reprogrammation est publique et délibérable par construction. La compétence n'est pas dans le corps coopté, elle est dans l'outil public que le demos peut s'approprier, lire, modifier, contester, forker, déployer ailleurs. C'est l'inverse exact de la solution Lagasnerie, et c'est aussi — c'est ce qu'il faut nommer pour finir — la seule réponse cohérente au diagnostic qu'il pose.

9. Quatre cas contemporains📋

Le cas Dumas 1995 est suffisant pour porter le théorème du pont 2, mais il est historique. La méthode demande aussi des cas du présent. J'en ajoute quatre, brièvement, parce que chacun éclaire un aspect différent.

L'AI Act européen (règlement (UE) 2024/1689, en application progressive 2025–2027) est le cas où l'on voit en direct la latence SUFRA s'installer. La loi est votée, mais ses effets réels sur les pratiques sont opaques, fragmentés, difficiles à mesurer. C'est précisément le cas-test ouvert où le projet métacratie/MDE peut contribuer en temps réel — pas comme exercice rétrospectif. Si un Numerique.DSL couplé à EU2026.LoiDSL était opérationnel maintenant, on pourrait suivre en continu les déclarations de systèmes d'IA à risque haut, les sanctions appliquées, les dérogations négociées en coulisses (qui sont aujourd'hui largement opaques). C'est le cas qui justifie l'urgence du projet : il y a une fenêtre, elle est ouverte, et elle se refermera.

Le Health Data Hub (Microsoft Azure, 2019–en cours) est le cas où la SUPRA implicite (« le cloud américain est inévitable ») écrase la SUPER explicite (RGPD, arrêt Schrems II de la CJUE en juillet 2020 qui invalide le Privacy Shield, avis défavorables de la CNIL). Le Conseil d'État a constaté l'illégalité en référé en octobre 2020 puis sur le fond en mars 2022, sans ordonner la migration immédiate. Cinq ans après la décision, les données de santé françaises sont toujours hébergées par Microsoft. C'est la transposition exacte au numérique du « exercer imagination et habileté » de Dumas, transposée de 1995 à 2020 et du Conseil constitutionnel à l'administration centrale. Un Sante.DSL couplé à France2026.LoiDSL aurait rendu le choix Microsoft Azure compile error immédiat en 2019. Cinq ans de latence SUFRA ramenés à zéro. Et la lecture marxiste-hégélienne de l'extractivisme numérique que je revendique en section 10 nomme ce cas pour ce qu'il est : l'extraction des données françaises par le capital américain au mépris de la souveraineté politique. C'est la fracture métabolique de Foster transposée à la donnée plutôt qu'à la matière.

L'affaire McKinsey-Macron (rapport du Sénat de mars 2022, instruction pénale en cours) est le cas où l'INTER (les cabinets de conseil) capture la SUPER (l'administration publique) en se rendant invisible. Plus d'un milliard d'euros en 2021, croissance vertigineuse depuis 2018, McKinsey en position dominante, des notes rédigées par les cabinets et utilisées telles quelles par les ministres sans contrôle parlementaire ni traçabilité publique, des cabinets qui n'ont pas payé d'impôt sur les sociétés en France pendant des années malgré le chiffre d'affaires public. C'est, dans la typologie de Silences §3, une Recréation contre-cyclique au plan institutionnel : un triptyque qui a tourné (la modernisation managériale de l'État a eu lieu), mais qui a fermé la META institutionnelle française en transférant des fonctions étatiques du contrôle parlementaire vers le secret commercial. C'est l'analogue contemporain exact du rognage de Dumas en 1995, transposé du Conseil constitutionnel à l'administration centrale.

L'affaire Cambridge Analytica + référendum Brexit (2014–2018) est le cas où un SUFRA technologique — les algorithmes de microtargeting opaques même pour leurs concepteurs — opère sur un événement politique majeur (un référendum souverain). C'est le cas qui démontre que les transitions métacratiques contemporaines ne s'arrêtent pas aux frontières nationales et qu'elles sont aussi des transitions algorithmiques. Le SUPER britannique a été modifié (Brexit) par une opération INFRA américaine (Facebook + Cambridge Analytica) qui passait par une couche INTER transnationale (consultants politiques numériques). Et c'est le cas qui justifie le plus directement la lecture marxiste-hégélienne de l'extractivisme numérique : les données personnelles sont extraites comme une ressource naturelle, sans consentement, et transformées en outils de manipulation politique au service du capital qui paie le mieux. C'est la fracture métabolique de Foster, là encore, transposée au numérique et au politique, et c'est ce que l'éco-socialisme dialectique attentif à l'infrastructure Terre doit nommer.

Ces quatre cas, plus celui de Dumas 1995, couvrent toute la gamme : passé déclassifié, présent en cours, présent récemment révélé, événement souverain manipulé par dispositif technologique transnational. Cinq cas suffisent pour porter un théorème.

10. Position — démocrate au sens fort, dans la lignée de la gauche constituante française📋

J'arrive à la section où je dois nommer ma position politique. Le faire n'est pas une option : un texte philosophique français en 2026 sans position politique nommée est automatiquement lu comme libéral par défaut, parce que c'est le terrain doxique de l'implicite — exactement ce que cette page attaque depuis le pont 3. Le silence serait incohérent avec le projet. J'ai donc à dire d'où je parle.

Je suis d'abord démocrate, avant d'être républicain au sens que ce mot a en 2026. Démocrate au sens fort que Francis Dupuis-Déri documente dans Démocratie. Histoire politique d'un mot (Lux, 2013, réédition 2019) — gouvernement direct du peuple, mandat impératif révocable, rotation des charges, contrôle populaire continu, refus de la délégation aux experts, refus de la cooptation par les élites politiques professionnelles. Dupuis-Déri démontre que le mot « démocratie » était au XVIIIᵉ siècle un gros mot dans la bouche des élites républicaines américaines et françaises (Madison, Sieyès, parfois Robespierre), qui se défendaient d'être démocrates parce qu'ils associaient « démocratie » à la populace, au gouvernement direct, à la tyrannie majoritaire. Ce qu'ils défendaient, c'était la République — un gouvernement représentatif où des élites élues filtrent la volonté populaire. La République était pensée comme un rempart contre la démocratie, pas comme son synonyme. Le retournement sémantique qui a fait de « démocratie » le mot positif désignant exactement ce qui était la « République » au XVIIIᵉ siècle est un produit des XIXᵉ et XXᵉ siècles, et il a vidé le mot « démocratie » de son contenu fort. Dupuis-Déri propose de le récupérer.

Et il faut nommer ici le contemporain qui rend ce diagnostic immédiatement lisible. Geoffroy de Lagasnerie, dans L'âme noire de la démocratie (Flammarion, février 2026) que je discute en détail au pont 7, pose en 2026 un diagnostic que je signe à moitié — il a raison qu'avoir une opinion ne suffit pas à donner pouvoir sur la vie d'autrui, parce que la parole publique contemporaine est captée avant d'être prononcée par les industries culturelles, par la doxa et par la publicité politique algorithmique. Mais là où Lagasnerie tire de ce diagnostic la conclusion concentrante de Madison et Sieyès — déléguons à un corps d'experts cooptés la censure des lois —, j'en tire la conclusion distributive de Condorcet, Castoriadis et Freire : le citoyen-épistocrate n'est pas un oxymore, c'est le sens classique du mot citoyen, et c'est ce que le pont 7 propose de ré-armer avec des prothèses cognitives publiques.

Je m'inscris ensuite dans la lignée de la gauche constituante française, celle du Serment du Jeu de Paume du 20 juin 1789 — l'acte par lequel les députés du Tiers État, exclus de la salle des États généraux, se réunissent dans la salle du Jeu de Paume à Versailles et jurent de ne pas se séparer avant d'avoir donné à la France une Constitution écrite. C'est l'acte constituant par excellence : un peuple qui s'arroge le pouvoir d'écrire sa propre loi par délibération souveraine, sans attendre la délégation du roi. La lignée passe par Robespierre (la Constitution de 1793 et son article 35 sur le droit à l'insurrection), Hugo (l'idée que le peuple est porteur d'une légitimité supérieure à toute autorité instituée), Jaurès (la synthèse entre socialisme et république), Blum (le Front populaire de 1936 comme preuve que la délibération démocratique peut produire des résultats matériels significatifs), et Mendès France (l'éthique républicaine de la rigueur et le refus de l'opacité). Cette gauche-là est démocrate au sens fort — elle a constamment voulu refonder la République dans un sens plus démocratique, contre la tendance des élites à la verrouiller en république aristocratique.

J'ai aussi une compréhension marxiste-hégélienne du capitalisme, et je dois la nommer. J'utilise Marx (commencé avec Le Capital) comme outil analytique pour comprendre la dynamique du capital — pas comme programme politique, qui reste constituant-républicain au sens du paragraphe précédent. Et je suis spécifiquement marxiste-hégélien — c'est-à-dire que je prends la dialectique au sérieux comme mode de pensée du mouvement et de la contradiction, dans la lignée continentale française de Henri Lefebvre, Lucien Sève, Emmanuel Renault, et plus contemporainement Frédéric Lordon (que j'écoute régulièrement et que je tiens pour le théoricien français vivant le plus important pour la position que je décris). La dialectique est précisément ce qui permet de penser les transitions comme des mouvements internes du système qui produisent leur propre dépassement par accumulation de contradictions affectives, juridiques et infrastructurelles. C'est exactement ce que la métacratie veut faire avec ses transitions META(Ex × Ty) → META(Ex × Ty+1). La métacratie hérite directement de la dialectique hégéliano-marxiste sur ce point précis.

Et j'ai une lecture éco-socialiste dialectique de l'effet du capitalisme sur ce que j'appelle l'infrastructure Terre. Cette précision place mon projet dans le marxisme écologique contemporain, qui est l'une des lignées philosophiques les plus actives en 2026. La référence centrale est John Bellamy Foster et son Marx's Ecology (2000), qui a redécouvert le concept marxien de fracture métabolique entre l'humain et la nature — un concept qui était dans le Capital livre I chapitre XV mais que la tradition marxiste-léniniste avait enterré au profit d'un productivisme industriel. Andreas Malm prolonge dans Fossil Capital (2016) en démontrant que le passage de l'eau à la vapeur (donc au charbon) au XIXᵉ siècle n'a pas été motivé par des raisons techniques mais par la possibilité pour le capital de discipliner la force de travail en délocalisant les usines hors des cours d'eau. Jason W. Moore propose dans Capitalism in the Web of Life (2015) de parler de capitalocène plutôt que d'anthropocène, parce que c'est le capital — pas l'humanité en général — qui produit la fracture. Kohei Saito, dans Marx in the Anthropocene (2022, succès phénoménal au Japon avec un demi-million d'exemplaires en quelques mois), démontre que le Marx tardif avait déjà abandonné le productivisme pour une vision écologique du communisme. Jean-Baptiste Fressoz, dans L'événement Anthropocène (2013, avec Christophe Bonneuil) et plus récemment dans Sans transition (2024), démolit le récit officiel de la « transition énergétique » en montrant qu'on a cumulé les sources d'énergie depuis 1800, jamais remplacé. Et Bruno Latour tardif, dans Où atterrir ? (2017) et Mémo sur la nouvelle classe écologique (2022), a explicitement rejoint la critique politique du capitalisme extractiviste après avoir été longtemps perçu comme « postmoderne neutre ».

L'expression « infrastructure Terre » connecte explicitement la couche INFRA de la métacratie à l'écologie politique : la Terre comme infrastructure du vivant, attaquée par l'extractivisme. L'INFRA métacratique n'est pas seulement les câbles et les paiements — c'est aussi les sols, les climats, les océans, les forêts, les corps biologiques. Et la métacratie a une lecture écologique constitutive, pas accessoire.

Je veux nommer enfin la question politique précise sur laquelle je veux que l'on délibère ensemble : la frontière entre le privé et le public. C'est le terrain principal sur lequel les libéralismes contemporains avancent depuis quarante ans (privatisation des services publics, marchandisation du vivant, brevets sur le code génétique, financiarisation du logement, ubérisation du travail, captation des données personnelles, et plus récemment l'extractivisme numérique généralisé). Et c'est ce que la gauche du Jeu de Paume cherche à re-délibérer : non pas figer une frontière abstraite, mais redonner au peuple souverain le pouvoir de décider, à chaque génération et pour chaque domaine, ce qui doit rester commun et ce qui peut être marchand. Cette question a une lignée intellectuelle nommable : Karl Polanyi (La grande transformation, 1944, sur les « marchandises fictives » que sont la terre, le travail et la monnaie), Elinor Ostrom (Governing the Commons, 1990, et son prix Nobel d'économie 2009 pour avoir démontré empiriquement que les communs peuvent être gouvernés durablement par des collectifs sans recours ni à la propriété privée ni à la propriété étatique), David Bollier sur les communs numériques contemporains, Pierre Dardot et Christian Laval (Commun, 2014, La Découverte — qui propose le « commun » comme principe politique central pour penser au-delà du couple public/privé hérité du XIXᵉ siècle), Mireille Delmas-Marty (déjà citée), Hervé Le Crosnier (la passerelle française entre Ostrom, le logiciel libre et la critique du capitalisme cognitif), et Hardt et Negri dans Commonwealth (2009).

Et l'idée pratique qui en découle est que l'on peut écrire un troisième DSL coopérant : Commun.DSL, qui décrirait quels objets sont actuellement classés commun dans un (Espace × Temps) donné (eau potable, soins de santé, éducation, sécurité sociale, certaines infrastructures, certaines données publiques), quels objets sont classés privé, quels objets sont en zone grise contestée (les données personnelles, le logement social vs. spéculatif, l'énergie renouvelable, l'eau en bouteille vs. le réseau, les semences), et quelles règles régissent le passage de l'un à l'autre. Le compilateur croisé Loi.DSL × Commun.DSL vérifierait alors qu'aucune loi ne franchit la frontière privé/public sans débat démocratique préalable typé. Une loi qui privatise un bien classé commun sans procédure démocratique explicite serait un compile error.

Et la formule qui condense cette position politique tient en une phrase de l'utilisateur que je veux citer telle quelle : ce n'est ni à un Dumas (qui a rogné les comptes en 1995 par « imagination et habileté »), ni à un Debré (qui a défendu le secret des délibérés contre l'aveu tardif), ni à aucun magistrat coopté de décider pour nous tous ce qui peut ou ne peut pas être codifié comme bien commun, comme bien public, comme bien privé. Ces décisions appartiennent au peuple souverain qui doit pouvoir en débattre, en mesurer les conséquences, en exiger des comptes, et en révoquer les auteurs. Le projet métacratie/MDE est l'outillage de cette exigence.

Une dernière note sur cette position. Je sais qu'elle est partisane et qu'un lecteur de droite ou centriste pourrait fermer le texte ici. Ma réponse est que cette position n'est pas tribale — elle est ce qu'elle est, et elle est nommée pour que le projet ne soit pas lu contre sa propre intention. Un lecteur qui n'est pas dans cette position peut toujours évaluer la cohérence interne du projet, la rigueur méthodologique, la solidité des ponts, et la précision technique des propositions. La position politique n'est pas un préalable à la compréhension. Elle est un contexte d'énonciation honnêtement déclaré.

Je veux aussi nommer un argument juridique précis qui fortifie le projet bien au-delà d'un simple souhait démocratique. Le principe de clarté et d'intelligibilité de la loi est un objectif de valeur constitutionnelle en droit français depuis la décision du Conseil constitutionnel n° 99-421 DC du 16 décembre 1999. Cette décision se fonde sur l'article 6 de la Déclaration des droits de l'homme de 1789 (« la loi est l'expression de la volonté générale » — qui suppose que cette volonté puisse être comprise) et sur les articles 4 et 5 (la liberté suppose que chacun puisse savoir ce qui lui est ordonné). Le Conseil l'a réaffirmé dans plusieurs décisions ultérieures, et il a même censuré certaines dispositions pour leur complexité excessive (décision n° 2005-530 DC du 29 décembre 2005). Une loi inintelligible est, dans une certaine mesure, inconstitutionnelle. Et donc le DSL des lois et son LoiComplexityAnalyzer ne sont pas seulement des outils démocratiques souhaitables — ils sont des outils qui fortifient la constitutionnalité du droit existant en rendant les lois plus claires, plus accessibles, plus traçables. Quand un journaliste ou un commentateur dira « c'est du scientisme, on ne peut pas typer les lois », la réponse est : le Conseil constitutionnel français demande depuis 1999 que les lois soient intelligibles ; le projet propose un instrument technique pour répondre à cette demande ; refuser cet instrument, c'est refuser de répondre au Conseil. C'est juridiquement imparable.

Boileau l'écrivait, dans son Art poétique de 1674 : « Ce qui se conçoit bien s'énonce clairement, et les mots pour le dire arrivent aisément. » Si ce n'est pas clair, c'est qu'il y a un loup. Et un sujet pas éclairé est, dans cette République-là, anticonstitutionnel.

11. L'IA comme cas-test : outil sous garde-fous démocratiques📋

Je travaille au quotidien avec une IA — Claude, d'Anthropic — comme partenaire de programmation. La page biographique About Me and This Site le mentionne explicitement. Cette page entière a été co-écrite, par moi et par Claude, à travers de nombreuses sessions de rédaction et de relecture. Un projet philosophique qui propose des outils techniques pour la démocratie ne peut pas faire silence sur sa propre relation aux outils techniques contemporains les plus puissants. Je dois donc nommer ma position vis-à-vis de l'IA, et je le fais en quelques paragraphes.

Ma position est : l'IA est un outil sous garde-fous démocratiques. Ni techno-utopisme aveugle (Kurzweil), ni rejet primitiviste (certains lecteurs d'Heidegger), ni position complaisante face à l'extractivisme des grandes plateformes. Une position dialectique au sens hégélien : on utilise l'outil en travaillant simultanément à le rendre démocratiquement contrôlable. C'est exactement le geste de Gramsci sur la culture (« utiliser les outils du dominant en travaillant à les retourner contre la domination »), transposé à l'IA contemporaine.

Le premier geste de cette position est de refuser la naturalisation de l'IA comme « agent ». Une IA n'est pas un agent au sens fort — elle n'a pas d'intention, pas de responsabilité morale, pas d'autonomie politique. Une IA est un outil statistique qui produit des sorties à partir d'entrées en suivant un modèle (souvent opaque même à ses concepteurs). Tout discours qui présente l'IA comme un agent est déjà un acte politique : il déplace la responsabilité depuis les humains qui décident comment elle est utilisée vers une « entité » fictive qui est censée « décider ». Quand on parle de « risque IA », on devrait parler de « risque que tels humains exercent un pouvoir disproportionné via tel outil ». La grammaire change tout.

À partir de là, la position implique des conditions d'usage précises. Pour tout déploiement d'IA dans une fonction publique ou à fort impact : traçabilité du modèle (quelle version, quels paramètres, quelles données d'entraînement), traçabilité des entrées et des sorties, lisibilité des propriétés statistiques (taux d'erreur par sous-population, biais documentés), redevabilité humaine identifiable pour chaque décision, refus de la délégation aveugle, réversibilité des décisions automatisées, audit indépendant pour les usages à fort impact. Ces huit conditions sont, littéralement, des [Constraint] typables dans un AI.SuiviDsl au sens du pont 7. L'AI Act européen commence à imposer une partie de ces conditions par la loi, ce qui crée un terrain d'application immédiat.

Et concernant ma propre pratique avec Claude. Le git log de mes commits montre mes propres décisions ; Claude est l'accélérateur, pas le décideur. Je lis chaque sortie avant de la valider, je rejette, je redirige, je réécris. C'est moi qui signe les commits et qui suis responsable du contenu. Les conditions de traçabilité, de réversibilité et de refus de la délégation aveugle sont satisfaites à mon échelle individuelle. Ce qui n'est pas satisfait — l'accès aux poids du modèle, l'audit indépendant complet, la connaissance détaillée des données d'entraînement — relève de la régulation politique, pas de la responsabilité de l'utilisateur individuel. Et c'est précisément ce que le projet métacratie/MDE est en train de construire : l'outillage politique qui permettra à terme d'imposer ces garde-fous collectivement à tous les modèles déployés en Europe et en France. J'utilise l'outil et je travaille à le rendre plus contrôlable politiquement, en parallèle. Les deux gestes sont cohérents et nécessaires.

Et j'ajoute, parce que c'est cohérent avec la lecture éco-socialiste dialectique de la section 10 : l'IA contemporaine consomme des quantités massives d'énergie, d'eau pour le refroidissement des data centers, et de minéraux rares pour les GPU. Le projet doit nommer cette empreinte matérielle et l'inscrire dans la critique du capitalisme fossile. Et le AI.SuiviDsl doit inclure des métriques écologiques (kWh par requête, eau consommée par data center, dépendance à des minéraux conflictuels) au même titre que les métriques sociales et juridiques. C'est l'application immédiate de la position politique de la section 10.

12. Limites et précédents📋

Je dois nommer honnêtement les limites du projet et les précédents qu'il faut affronter. Cacher une limite la rend dangereuse. Nommer une limite la transforme en condition d'usage du projet. Voici quinze limites, dans un ordre qui suit l'ordre de leur importance pour moi.

Performatif vs. constatif (Austin, How to Do Things with Words, 1962). Une décision politique est performative — la dire la fait. Un attribut compilé est constatif — il décrit. Les deux n'ont pas le même statut ontologique. Réponse : le compilateur, en refusant de compiler, devient performatif (il fait advenir un échec, pas seulement il décrit). Et ma métacratie est constative par déclaration explicite, donc compatible avec Austin sans tension.

Asymétrie de l'observateur. Le compilateur de MDE est mécanique, donc apolitique. L'observateur de la métacratie est lui-même dans une position politique. Réponse : assumer l'asymétrie ; la métacratie nomme et date son observateur (moi, situé dans la France de 2026, dans la lignée intellectuelle déclarée en section 10), le MDE laisse l'observateur fabriquer ses propres attributs cross-domain. L'asymétrie devient une complémentarité.

Tarski (1933). La vérité d'un langage L ne peut pas être définie dans L. Elle requiert un méta-langage L' strictement plus expressif. Régression infinie. Réponse : héritée de l'aveu de Sowa lui-même.

Gödel (1931). Tout système formel suffisamment riche pour faire de l'arithmétique est soit incomplet (il existe des vrais qu'il ne prouve pas) soit inconsistant (il prouve du faux). Conséquence pour la métacratie : il existe des vérités sur la métacratie qu'aucune lecture métacratique ne peut atteindre. La métacratie constative ne prétend pas l'exhaustivité.

Castoriadis (L'institution imaginaire de la société, 1975). Le magma instituant échappe à toute structure formelle. L'objection est interne à la lignée que je revendique. Réponse : la métacratie est constative et hérite de la position Whitehead/Sowa — be systematic, keep systems open. Elle est un structuralisme ouvert qui accepte par construction qu'il y a un dehors qu'il ne touche pas. Castoriadis aurait probablement été un allié.

Foucault (L'archéologie du savoir, 1969). Engagement sérieux dans le pont 2. Reconnaissance directe de la dette. Ce que j'ajoute à Foucault : l'opérationnalisation. Foucault est resté descriptif ; le MDE fabrique l'appareil au lieu de le décrire seulement.

Luhmann (Soziale Systeme, 1984). Engagement sérieux dans le pont 1. Reconnaissance de la dette. Ce que j'ajoute à Luhmann : la dimension affective spinoziste-lordonienne. Là où Luhmann est froidement opérationnel, ma métacratie porte les couches comme des configurations de conatus mobilisé.

Latour (Politiques de la nature, 1999 ; Enquête sur les modes d'existence, 2012). Engagé dans le pont 6. Latour décrit le Parlement des choses, le MDE le fait. Sans Latour, le MDE serait juste un outil. Sans le MDE, Latour resterait une belle idée.

Scott (Seeing Like a State, 1998). Engagé dans le pont 3. SUFRA est l'envers du Seeing Like a State : non-lisibilité du présent depuis le sujet, vs. lisibilité du sujet depuis l'État. Les deux faces du même problème, pris depuis deux points de vue opposés. La métacratie revendique le Seeing Like a Subject.

Simondon (Du mode d'existence des objets techniques, 1958). Ancêtre français de la pensée des couches techniques en individuation. La concrétisation simondonienne (l'optimisation par entrelacement des fonctions, qui est un gain d'efficacité et une perte de lisibilité) explique pourquoi les institutions politiques optimisées deviennent illisibles. Le DSL est un effort de retour à l'abstrait — un décompactage de la concrétisation institutionnelle.

Kittler (Aufschreibesysteme 1800/1900, 1985 ; Grammophon Film Typewriter, 1986). « Medien bestimmen unsere Lage » — les médias déterminent notre situation. C'est exactement ce que le projet métacratie/MDE dit, écrit en allemand par un théoricien des médias dans les années 1980. Reconnaissance directe.

Sokal et Bricmont (Impostures intellectuelles, 1997). Désamorcé en introduction. Trois arguments : ancêtre Sowa-Peirce réel et non métaphorique, théorème formel et non verbal, cas-test 1995 réfutable.

Lawrence Lessig (Code: Version 2.0, 2006). Engagé dans le pont 3. Ancêtre théorique direct du DSL des lois. Code is law depuis 25 ans, et ce n'est pas négociable.

Catala (Merigoux, Chataing, Protzenko, INRIA, POPL 2022). Engagé dans le pont 7. Preuve empirique française que le programme « DSL pour les lois » est faisable et déjà partiellement réalisé. Le projet métacratie/MDE n'est pas une utopie — il est une jonction avec un programme français vivant qu'il faut prolonger.

Risque scientiste / utopie technocratique. Cybersyn, Gosplan, smart cities. Réponse forte : l'appareil génératif est de lisibilité et de réfutation, pas de gouvernement. Le compilateur dynamique du pont 7 est démocratique-distribué, là où Cybersyn était centralisé-vertical. Et la position politique de la section 10 rend le projet cohérent : démocrate au sens fort, l'outil ne décide pas, le peuple souverain reste seul juge.

13. Test de réfutation📋

Suivant l'usage que j'ai pris dans Silences et Chantiers, je dois nommer ce qui réfuterait cette page.

Deux choses suffiraient, l'une ou l'autre. Premièrement : un cas documenté où un système de Model-Driven Engineering aurait réussi à comprimer le délai de lisibilité d'un domaine sans typer ses conventions implicites — c'est-à-dire un cas où le théorème du pont 2 (limites d'expressivité = limites de vérification) serait empiriquement faux. Je n'en connais aucun, mais sa découverte rouvrirait le pont. Deuxièmement : un cas documenté où une transition métacratique réussie (par exemple, une refondation démocratique aboutie) aurait procédé sans rendre explicite aucune de ses doxa de couche SUPRA — c'est-à-dire un cas où l'attaque contre l'implicite du pont 3 serait empiriquement contredite. Je n'en connais aucun non plus, mais sa découverte forcerait à reformuler.

À ces deux critères purs, j'en ajoute un troisième, plus pratique : si dans les trois ans qui viennent, un Loi.DSL minimal écrit pour France1995 ne parvient pas à produire un compile error sur la décision 95-86 PDR avec les contraintes du contrôle des comptes de campagne, alors le pont 7 est faux et le projet doit être révisé. C'est un critère empirique court terme, et je m'engage à le tester.

14. Coda — le geste mental commun📋

Ce qui reste à dire après quinze sections est court. Les deux corpus que je tiens en parallèle depuis des années — le MDE technique et la métacratie philosophique — sont, je crois maintenant, deux exécutions du même geste mental, appliqué à deux domaines distincts. Le geste consiste à refuser que des conventions tacites gouvernent en silence, à rendre formellement explicite ce qui était laissé à la dérive, à accepter que cet acte soit politique au sens fort, et à opérationnaliser le résultat — soit par un compilateur, soit par un texte philosophique, soit (et c'est le pas suivant) par un appareil métrique outillé qui sert la souveraineté populaire au lieu de la remplacer.

Le fait biographique sous-jacent, qu'un même auteur autodidacte travaillant hors institution construit ces deux frameworks en parallèle en tirant sur les mêmes sources techniques (Sowa, Peirce, Whitehead, Meyer) et les mêmes sources philosophiques (Spinoza, Castoriadis, Lordon, Maturana, Morin, Foster, Malm), n'est pas un hasard. C'est le même geste mental appliqué à deux domaines, et c'est ce qui rend la jonction non seulement possible mais quasi-obligée a posteriori. Ce que je n'avais pas vu à dix-huit ans en lisant Sowa avec EMF ouvert sur Eclipse, je le vois maintenant : cette filiation avait une suite politique, et la suite est en train de s'écrire en France et en Europe en 2026 sous des noms différents — Catala à l'INRIA, La Quadrature du Net contre l'opacité algorithmique, les juristes du Conseil national du numérique, Lordon à La pompe à phynance, Fressoz et l'histoire de l'anthropocène, les héritiers de Delmas-Marty et d'Hermitte sur les biens communs et les droits de la nature.

Le projet finit en une phrase : réduire la latence SUFRA malsaine — celle qui sert l'opacité du pouvoir et qui dure des décennies sans nécessité technique — jusqu'à la latence SUFRA structurellement minimale, celle qui est constitutive de tout système formel opérationnalisé et qui permet la délibération démocratique. Ni plus, ni moins.

Et ce projet n'est pas une thèse à débattre — c'est une boîte à outils à construire collectivement, à publier en open source sous licence Etalab 2.0, à offrir au peuple souverain comme instrument de sa propre délibération, à enrichir au fil de la pratique et des contributions, à gouverner démocratiquement comme un commun numérique au sens strict. C'est un appel à construire ensemble, en tant qu'héritiers vivants à la fois du Serment du Jeu de Paume de 1789, de la fracture métabolique du Capital livre III, de la maxime de Whitehead de 1929, de l'ontologie de Sowa des années 1980, du méta-DSL paramétré par (Ex × Ty) que cette page propose, et de Catala (INRIA, 2021) qui prouve que le programme est déjà commencé mais qu'il a besoin d'être prolongé, enrichi, politiquement assumé, démocratiquement gouverné.

C'est ainsi que cette jonction transversale au dossier METACRATIE finit — non pas comme une conclusion, mais comme le préambule à une praxis. La jonction est nommée. Le programme est ouvert. Il appartient maintenant à celles et ceux qui voudront le rejoindre.

Cette page a un pendant en anglais dans le blog technique : MDE and Métacratie — what a compiler and a political framework have in common, qui présente la même argumentation depuis le côté ingénierie pour les lecteurs qui sont entrés par le blog plutôt que par la philosophie. Et la trace biographique de la rencontre avec Sowa à dix-huit ans est dans la page Age 18 — discovering the model-driven academic world.