diff --git a/scripts/prouver.py b/scripts/prouver.py
index d037019..da67bc7 100644
--- a/scripts/prouver.py
+++ b/scripts/prouver.py
@@ -776,6 +776,7 @@ JARGON_A_ENSEIGNER = [
     "SMTP", "IMAP", "LMTP", "DKIM", "MTA",
     # etat et methode
     "restic", "devis", "preuve", "harnais", "GUI", "index", "plan", "tenant", "SQLite",
+    "source unique", "resolution d'instance",
     # filiation — le vocabulaire arrive le 2026-08-21 avec les signatures
     "genome", "parente", "commit", "empreinte", "Merkle", "etiquette", "signature",
     "allowed-signers", "temoin", "journal de transparence", "horodatage",
diff --git a/wiki/Glossaire.md b/wiki/Glossaire.md
index cd76cee..f45ab71 100644
--- a/wiki/Glossaire.md
+++ b/wiki/Glossaire.md
@@ -298,6 +298,15 @@ sans rien écrire (`make sdn-plan`, `make placement-plan`).
 **Preuve (Pxx)** — Une vérification rejouable de `make prouver` qui garde une classe
 d'erreur. Cf. [La preuve](La-preuve).
 
+**Source unique** — Le principe qui traverse tout le dépôt : une information vit à **un**
+endroit, et tout le reste en dérive. Neuf copies d'une même règle ne vieillissent pas
+ensemble — et la divergence ne se voit jamais de l'intérieur d'une copie.
+
+**Résolution d'instance** — Comment un script sait **quel écosystème** il regarde : la
+variable `SETOPS_INSTANCE`, sinon le lien `instance`. Une seule fonction y répond pour tout
+le moteur (`inventory_rules.instance_courante`) ; la preuve P41 refuse qu'on en réécrive
+une deuxième.
+
 **Harnais** — L'ensemble des preuves. Un `make prouver` vert veut dire : aucune des classes
 d'erreur connues n'est présente.
 
diff --git a/wiki/La-preuve.md b/wiki/La-preuve.md
index e5deb2b..51ca06e 100644
--- a/wiki/La-preuve.md
+++ b/wiki/La-preuve.md
@@ -87,6 +87,50 @@ harnais de Set-OPS ».
 
 ---
 
+## Le défaut le plus dangereux n'est pas l'erreur, c'est la **copie**
+
+Set-OPS pilote plusieurs écosystèmes. Avant d'agir, chaque script doit donc savoir
+**lequel il regarde** — par le lien `instance`, ou par la variable `SETOPS_INSTANCE`.
+
+En août 2026, **neuf scripts avaient chacun écrit leur propre réponse** à cette question.
+Trois lignes chacun. Aucune n'était fausse en soi.
+
+Le problème n'est pas l'erreur : c'est que **neuf copies ne vieillissent pas ensemble**.
+Quand on améliore l'une, les huit autres ne le savent pas. Et personne ne peut le voir,
+parce que de l'intérieur d'un fichier, la copie locale a toujours l'air correcte.
+
+### Ce que ça donnait
+
+`make placement-plan` visait patient 0 et répondait :
+
+```
+Devis du placement — tenant « instance »
+  noeud asgard · stockage TrueNAS · gabarit 99998   →  CONFORME
+```
+
+C'était vrai — **sur l'autre écosystème**. Sa copie lisait le lien au lieu de la variable.
+Comme les deux tenants portaient les mêmes valeurs de placement, le verdict semblait
+juste. C'est très exactement la circonstance où une erreur ne se voit pas.
+
+Cinq défauts de cette famille sont sortis en cinq jours. Tous dans des outils qui
+**constatent** — preuves et devis — jamais dans ceux qui agissent. C'est moins grave et
+plus insidieux : un outil qui agit mal, on le voit ; un outil qui mesure mal dit
+« conforme », et on passe à la suite.
+
+### La réponse
+
+Une **source unique** : une fonction, dans un fichier, que tous appellent. Si elle est
+fausse, elle l'est partout d'un coup — donc visible, donc corrigée une fois.
+
+Et une preuve, **P41**, qui refuse la prochaine copie. Elle en a trouvé une dixième le
+jour de son écriture, dans le fichier des preuves lui-même.
+
+> **C'est la même leçon que `proxmox-hebergeur.yml`** : les nœuds et stockages du cluster
+> recopiés chez chaque tenant avaient divergé. Une source, pas N copies — pour les données
+> comme pour le code.
+
+---
+
 ## Pour aller plus loin *(dépôt)*
 - Le mode d'emploi : `docs/audit/README.md`.
 - Le registre : `docs/audit/affirmations.md` ; le harnais : `scripts/prouver.py`.