diff --git a/features/selection-navigation-glossary.md b/features/selection-navigation-glossary.md
new file mode 100644
index 0000000..bfcb69b
--- /dev/null
+++ b/features/selection-navigation-glossary.md
@@ -0,0 +1,57 @@
+---
+title: "Selection without optimization: navigation aids and glossary"
+author: "Équipe 4NK"
+date: "2026-02-18"
+scope:
+  - v0/livre_jeune_adulte.md
+  - v1/livre.md
+---
+
+## Objective
+
+Integrate the following editorial evolutions into the manuscript, without changing the underlying mathematical claims:
+
+- expand the formal framing of **selection without optimization** (Chapter 14) by making explicit what is (and is not) assumed when one talks about “optimization”;
+- improve navigation across layers and chapters using **dependency maps** at the beginning of each chapter;
+- clarify, in Chapter 11, the distinction between **signal** (what circulates) and **structure** (what constrains), and define a minimal criterion for “information support”;
+- add a **glossary** for redefined technical terms used in a precise sense.
+
+## Impacts
+
+- Readers can identify, at chapter entry, what prerequisites are used and which layer(s) are activated ([E]/[M]/[P]/[D]).
+- Chapter 14 makes the separation explicit between:
+  - elimination/filtration under constraints,
+  - conditioning / renormalization under a declared probabilistic layer,
+  - and decision/optimization when an objective and a choice rule are introduced.
+- Chapter 11 states, in-model, when a stable/transmissible structure becomes an information-bearing variable relative to an horizon \(\tau\) (ensemblist or probabilistic).
+- A glossary is available as a reference point for terms such as “futur accessible”, “verrouillage”, “compatibilité”, “signal”, “structure”.
+
+## Changes
+
+- **Chapter 14**
+  - add a “Critique formelle des modèles d’optimisation” subsection (separating comparability, objective, and choice rule);
+  - add a “Persistance par nécessité structurelle” subsection (persistence defined as existence of compatible continuations, not as maximization).
+
+- **Navigation**
+  - add a “Carte de dépendances” (Mermaid diagram) at the beginning of chapters 1–16.
+
+- **Chapter 11**
+  - add a “Signal, support et structure” section with minimal definitions and an explicit criterion (stability/transmissibility + discriminative power on futures).
+
+- **Glossary**
+  - add a `## Glossaire {#glossaire}` section before the annexes;
+  - update the table of contents to include a “Glossaire” entry.
+
+## Deployment notes
+
+- No runtime deployment. This is a documentation/manuscript change.
+- Ensure Mermaid rendering is available in the target Markdown renderer; otherwise, keep the diagrams as plain text blocks.
+
+## Analysis / verification
+
+- Search for anchors and ensure the table of contents includes `#glossaire` and the corresponding `## Glossaire {#glossaire}` anchor exists.
+- Ensure each chapter contains exactly one “Carte de dépendances — Ch. N”.
+- Validate that Chapter 14 still uses the declared-layer discipline:
+  - ensemblist statements do not assume a probabilistic kernel,
+  - probabilistic statements are indexed by a declared \(P\).
+
diff --git a/v0/livre_jeune_adulte.md b/v0/livre_jeune_adulte.md
index 0c70a84..2a2ebaa 100644
--- a/v0/livre_jeune_adulte.md
+++ b/v0/livre_jeune_adulte.md
@@ -6003,6 +6003,54 @@ Toute extension conserve la règle fondatrice : définir chaque élément avant
 
 ---
 
+## Glossaire {#glossaire}
+
+- **Couches [E]/[M]/[P]/[D]** : repères de statut des énoncés. [E] désigne le noyau ensembliste (définitions et implications d’atteignabilité/quotients). [M] désigne des quantifications indexées par une mesure ou une métrique. [P] désigne des énoncés dépendant d’un noyau probabiliste \(P\). [D] désigne une couche décisionnelle (perte \(L\)) lorsqu’elle est explicitement introduite (cf. introduction).
+
+- **Admissibilité (\(\mathcal{T}\))** : ensemble (ou famille) de transformations autorisées ; la notion d’évolution est définie relativement à ce choix (chap. 1, chap. 13).
+
+- **Atteignabilité (\(\operatorname{Reach}\_n(x)\))** : ensemble des états atteignables en \(n\) étapes depuis \(x\), sous transformations admissibles (chap. 13).
+
+- **Futur accessible (\(\mathcal{F}(x)\))** : union des atteignabilités \(\mathcal{F}(x)=\bigcup\_{n\ge 0}\operatorname{Reach}\_n(x)\) ; objet ensembliste de base pour définir contraintes sur l’avenir et verrouillage (chap. 13).
+
+- **Contrainte (\(\mathfrak{C}\), \(K\))** : objet qui restreint états et transitions via \(A(K)\subseteq X\) et \(R(K)\subseteq X\times X\) ; une contrainte active est une contrainte dont l’effet est pris en compte dans l’admissible effectif (chap. 13–16).
+
+- **Compatibilité (\(\operatorname{Comp}\))** : opérateur (indexé par une classe et des paramètres déclarés) qui extrait d’une collection de contraintes une sous‑collection compatible ; il sert à éviter la contradiction opérationnelle et n’implique pas d’optimisation (chap. 14–15).
+
+- **Projection / description (\(q\), \(\Pi\))** : application vers un espace de descriptions/observables ; elle induit des fibres et des classes, et peut rendre un processus non markovien si des variables internes sont omises (chap. 5, chap. 13, chap. 16).
+
+- **Non‑injectivité** : propriété d’une projection \(q\) (ou d’une mise à jour) telle que des antécédents distincts donnent la même image ; elle produit des collisions et impose des classes (chap. 5).
+
+- **Collision** : situation où \(x\neq y\) mais \(q(x)=q(y)\) ; c’est un fait structurel de compression/agrégation (chap. 5).
+
+- **Classe / fibre / quotient** : sous‑ensemble \(q^{-1}(a)\) ou classe d’équivalence ; objet canonique lorsque l’identité fine n’est pas préservée au niveau de description choisi (chap. 5).
+
+- **Attracteur / bassin** : objets de long terme (cycles en discret fini ; attracteurs topologiques sur compacts) et ensembles d’états qui y mènent (chap. 3, chap. 10).
+
+- **Stabilisation** : passage à un régime invariant (transitoire + cycle en discret fini) ou convergence vers un invariant (sur compacts) ; notion distincte de la robustesse (chap. 8).
+
+- **Verrouillage (des futurs)** : réduction monotone de l’ensemble des futurs accessibles sous accumulation/restriction de contraintes actives, avec quantifications indexées lorsqu’elles sont utilisées (chap. 13).
+
+- **Mémoire (M0)** : distinction entre mémoire‑état (variable cachée due à une projection) et mémoire‑structure (registre transmissible qui agit comme contrainte) ; toute invocation de « mémoire » doit expliciter espace d’état, projection et statut markovien (introduction, chap. 6–7, chap. 15–16).
+
+- **Signal** : valeur transportée entre occurrences (étiquette, fragment, signature) via une description \(\Pi\_{\mathrm{sig}}\) ; un signal n’est pas, en lui‑même, une contrainte (chap. 11).
+
+- **Structure** : objet qui restreint l’atteignabilité (contrainte \(K\), invariant, classe, règle admissible) (chap. 11, chap. 13).
+
+- **Support d’information** : variable dérivée \(Z\) suffisamment stable/transmissible et telle qu’elle discrimine des futurs accessibles (ensembliste) ou porte une information mutuelle non nulle avec le futur sous un noyau \(P\) déclaré (probabiliste) (chap. 11, chap. 16).
+
+- **Sélection (ensembliste)** : filtrage des trajectoires candidates \(\Omega\) en trajectoires admissibles \(\mathcal{A}\) sous contraintes/compatibilité ; élimination plutôt que préférence (chap. 14).
+
+- **Sélection (probabiliste)** : conditionnement d’une loi a priori sur l’admissible (\(\mathbb{P}(\cdot\mid\mathcal{A})\)) ou re‑pondération \(S\_w\) lorsque \(w\) est déclaré (chap. 9, chap. 14).
+
+- **Optimisation explicite** : introduction d’une fonction \(U\) (ou d’une perte \(L\)) et d’une règle de choix orientée vers cette quantité ; ce n’est pas une conséquence des primitives d’admissibilité/compatibilité (chap. 14).
+
+- **Espace étendu (\(Y=X\times\mathcal{P}(\mathfrak{C})\))** : extension de l’état par un registre de contraintes actives ; sert à formuler une dynamique fermée lorsque des mises à jour de contraintes sont prises en compte (chap. 15–16).
+
+- **Auto‑stabilisation** : stabilisation dans l’espace étendu \(Y\) via boucles de contraintes (points fixes/cycles de mise à jour) ; notion définie sans réflexivité intentionnelle (chap. 15).
+
+---
+
 ## Annexe 1
 
 Bibliothèque minimale (hypothèses atomiques).
@@ -6092,4 +6140,5 @@ Protocole de robustesse (statut annoncé).
 - [Chapitre 15 — Structures contraignant leur propre évolution](#chapitre-15-structures-contraignant-leur-propre-evolution)
 - [Chapitre 16 — Interprétation épistémique minimale](#chapitre-16-interpretation-epistemique-minimale)
 - [Fermeture](#fermeture)
+- [Glossaire](#glossaire)
 - [Annexe 1](#annexe-1)