Et si votre CLM était pensé comme un faisceau ?

Le n°59 d’Epsiloon, en kiosque ce mois-ci, porte en encart de couverture cette formule : « Maths : le triomphe des catégories ». Pas exactement la lecture qu’on attend d’un Contract Manager, un samedi en fin d’après-midi, installé sur l’herbe. Mais j’ai pris le magazine, je me suis posé, et j’ai lu.

La théorie des catégories est née en 1945, sous la plume de Samuel Eilenberg et Saunders Mac Lane. À l’époque, l’enjeu est étroit — formaliser certaines correspondances entre la topologie et l’algèbre. Quatre-vingts ans plus tard, on s’aperçoit que cette mécanique — des objets, des flèches, des règles de composition — décrit aussi bien les protéines, les circuits, les bases de données, les programmes informatiques, et probablement quelques pans de la physique fondamentale. D’où le titre du dossier. Théorie du tout, c’est ambitieux. Théorie du composable, c’est plus prudent — et c’est ce qui m’a accroché.

Parce que ce qu’on compose, dans mon métier, c’est aussi du contrat.

J’ai interrogé une IA en rentrant. Pas pour me résumer le dossier — Epsiloon le fait très bien tout seul. Pour creuser la traduction métier. Pas la vulgarisation grand public, qu’elle adore et que je trouve souvent jolie mais sans profondeur. La vraie question : cette grammaire mathématique a-t-elle quelque chose à dire à un Contract Manager de la tech qui pilote depuis vingt ans des grappes contractuelles à plusieurs étages ?

La réponse est venue lente, par paliers.

Ce que vendent les CLM aujourd’hui

La promesse est la même partout. Extraction automatique de clauses. Rédaction assistée. Redlining propre. Recherche sémantique sur le corpus. C’est utile, et personne de sérieux ne le contestera — moi non plus.

Mais c’est une promesse au niveau du document. Or je ne pilote pas un document. Je pilote une grappe : un contrat-cadre, des bons de commande adossés, des contrats de sous-traitance back-to-back, des avenants en série, des ordres de service, des garanties croisées qui circulent entre les acteurs. La valeur — et le risque, surtout le risque — vient de la cohérence de cette grappe, pas de la beauté d’une clause prise isolément.

Pour piloter la cohérence d’une grappe, l’extraction sémantique ne suffit pas. Il faut un autre type d’outillage.

Ce que Spivak fait à l’aéronautique depuis dix ans

David Spivak est passé du MIT au Topos Institute en 2020. Il porte une thèse simple à formuler, plus difficile à mettre en œuvre : la théorie des catégories est le langage naturel des systèmes composés, qu’ils soient cyber-physiques ou autres.

Concrètement, quand un constructeur aéronautique intègre un système de pilotage automatique, chaque sous-système porte une promesse formelle : je garantis X, à condition que mon environnement me fournisse Y. Spivak appelle ça un safety contract. La théorie permet alors de chaîner ces promesses sans relire 800 pages de spécifications. Si A garantit X sous hypothèse Y, et B garantit Y sous hypothèse Z, le compilateur catégoriel calcule mécaniquement ce que A∘B garantit, et il signale si la chaîne se rompt. C’est utilisé dans la conception des systèmes cyber-physiques critiques depuis une dizaine d’années.

Ce n’est pas anecdotique. Quand un calculateur de vol doit garantir une probabilité de défaillance inférieure à 10⁻⁹ par heure, la relecture humaine de bout en bout est exclue. La composition est mathématique ou elle n’est pas.

Or — et c’est là où ça devient intéressant — personne, à ma connaissance, n’a transposé cette même mécanique aux contrats commerciaux. La structure pourtant est exactement la même : des promesses chaînées, des hypothèses qui se propagent, une cohérence globale à garantir.

Le concept qui change tout : le faisceau

Le concept-pivot est ce que les mathématiciens appellent un faisceau — sheaf en anglais. L’idée est sobre.

Plusieurs acteurs voient localement le même objet, chacun sous son angle. Le faisceau, c’est la règle qui dit comment ces vues locales se recollent en une vue globale cohérente. Et surtout : c’est l’outil qui signale, quand le recollement échoue, où exactement il échoue.

Tout Contract Manager a déjà vécu ça sans le nommer. L’acheteur voit le contrat sous l’angle prix et délais. Le juriste voit les clauses, les garanties, les indemnités. Les opérations voient les SLA, les livrables, les jalons. La finance voit le cash-out, les provisions, les pénalités possibles. Le RSSI voit la confidentialité, les données personnelles, les audits. Personne ne voit le tout. Et pourtant le tout doit tenir.

Dans un CLM actuel, cette tenue dépend d’un workflow — donc de la rigueur d’une équipe sous pression, à la fin du trimestre, un vendredi soir. Dans un CLM bâti sur des fondations catégorielles, elle dépendrait de la structure. La nuance peut sembler théorique. Elle ne l’est pas — c’est la différence entre une cohérence qu’on espère et une cohérence qu’on prouve.

Ce qui pourrait changer

Je laisse de côté les promesses creuses. Voici trois inflexions qui me paraissent crédibles, dans un horizon de cinq à dix ans.

D’abord, la cohérence détectée à la saisie, pas à l’audit. Si un BdC promet un SLA que la sous-traitance back-to-back ne supporte pas, le système l’arrête au moment de la frappe — pas trois mois plus tard, quand le commissaire aux comptes lève la main.

Ensuite, le recalcul automatique de la chaîne de responsabilité quand un maillon change. Substituer un sous-traitant aujourd’hui, c’est un Excel et plusieurs nuits blanches pour vérifier que ce qu’on promet au client final tient toujours. Demain, ça pourrait être une opération de quelques secondes.

Enfin, un audit qui ne ressemble plus à de la relecture. Vérifier que deux chemins différents dans la grappe produisent le même résultat juridique — la commutativité, en langage catégoriel — devient une opération mathématique, pas un parcours de relecteur fatigué.

Aucune de ces trois choses n’élimine le jugement humain. Elles élèvent le niveau : moins de fautes idiotes, plus de temps pour les vraies décisions.

Pourquoi la friche persiste

Reste la question : si tout cela tient debout, pourquoi aucun éditeur CLM n’y est encore allé ?

Il y a la réputation de la théorie des catégories — réputée aride, réputée inaccessible. Spivak et Fong ont publié Seven Sketches in Compositionality en 2018 chez Cambridge, en libre accès, précisément pour lever cet obstacle. La réputation, elle, met du temps à céder.

Il y a aussi la pression du marché : depuis trois ans, les éditeurs vendent l’IA générative parce que c’est ce que les clients réclament. Personne ne réclame de la théorie des catégories à son CLM. Personne ne sait que c’est une option.

Et puis il y a nous — les Contract Managers. On n’a pas, dans nos formations, le vocabulaire mathématique pour formuler la demande. Tant qu’on demande à un CLM d’être un meilleur Word, on obtient un meilleur Word. Le jour où on lui demande d’être un compilateur de cohérence contractuelle, on obtiendra peut-être autre chose.

Ce dernier point est celui qui m’intéresse le plus. Parce qu’il est entre nos mains.

Simondon avait préparé le terrain

Une note pour finir, et qui n’est pas anecdotique. Gilbert Simondon, dans Du mode d’existence des objets techniques (1958), expliquait qu’un outil n’existe jamais hors de son milieu associé. Il fonctionne dans un environnement de relations qu’il transforme, et qui le transforme en retour. L’outil isolé est une abstraction de manuel.

Un contrat tout seul n’existe pas. Il n’existe que dans son milieu associé — les autres contrats, les acteurs qui les exécutent, les flux qui circulent entre eux. Simondon le pressentait sans pouvoir le formaliser. Spivak donne, soixante-cinq ans plus tard, le langage mathématique de ce milieu. Le retard du droit et de la gestion contractuelle sur les sciences exactes n’a rien d’inhabituel. Cette fois, il est rattrapable.

Coda

Le contrat est un système. Le système est un milieu. Le milieu se compose, et la composition doit tenir.

Aux éditeurs CLM, une question simple : à quel moment passe-t-on de l’IA générative posée sur un modèle de données plat à un modèle qui respecte vraiment la structure de ce qu’on lui demande de gérer ?

Aux Contract Managers, une autre — celle qu’il faut commencer à se poser entre nous : quand allons-nous exiger de nos outils qu’ils respectent ce que notre métier sait depuis longtemps faire dans la tête, et qui n’a jamais eu droit à un langage formel ?

Et à tous ceux qui liront ce papier, une demande directe : si vous avez croisé des travaux qui appliquent la théorie des catégories aux contrats commerciaux — au-delà des safety contracts aéronautiques que Spivak et Speranzon ont formalisés en 2018 — signalez-les. La friche, je l’affirme aujourd’hui faute d’avoir trouvé quoi que ce soit en cherchant. Je préférerais avoir tort.

Cet article ne serait pas devant vous sans un magazine qui prend le risque de la difficulté, et sans une conversation longue avec une IA pour traduire un cadre abstrait dans un univers métier. Je n’aurais pas pu — ou pas voulu — passer plusieurs heures à lire un manuel de Cambridge un samedi sur l’herbe. Là, j’ai pu. C’est, je crois, l’usage le plus intéressant qu’on peut faire de ces outils en 2026 : non pas remplacer le travail, mais élargir le terrain. Aller où on ne serait jamais allé seul.

Et revenir avec quelque chose à dire.

---

Références :

• Epsiloon n°59, mai 2026, encart de couverture « Maths : le triomphe des catégories »
• David Spivak & Brendan Fong, Seven Sketches in Compositionality (Cambridge, 2018) — libre sur arXiv
• Gilbert Simondon, Du mode d’existence des objets techniques (1958)

#ContractManagement #CLM #TheorieDesCategories #Spivak #Topos #Simondon #IAjuridique