Appliquer la rédaction scientifique sur la section D17

**Motivations:**
- Aligner la section D17 avec les règles de rédaction scientifique
- Conserver les informations quantitatives utiles à la démonstration

**Root causes:**
- Présence de titres génériques et de formulations non neutres dans la section D17

**Correctifs:**
- Renommer les titres Introduction/Conclusion avec l’intitulé explicite du palier 2^28
- Reformuler l’ouverture et la conclusion en style factuel
- Remplacer le bloc final auto-référentiel par une conclusion indexée sur les invariants

**Evolutions:**
- Harmoniser la continuité rédactionnelle entre les sections D16 et D17

**Pages affectées:**
- v0/conjoncture_collatz.md

v0/conjoncture_collatz.md

@@ -13375,9 +13375,9 @@ La continuation immédiate, toujours dans la même logique, est :
 
 Au palier $2^{27}$, la stabilisation du paquet $D_{16}$ couvre 192682 classes et impose l’invariant $\max A_{16}=25$ sur les 2075088 relèvements du domaine considéré. La suite de la construction porte sur l’horizon 17 au palier $2^{28}$, avec comparaison explicite entre l’extension des paquets $(D_k)$ et l’introduction de fusions ciblées $(t=6,7)$.
 
-## Introduction
+## Introduction du paquet \(D_{17}\) au palier \(2^{28}\)
 
-La poursuite « dans la même logique » consiste à franchir le seuil contractif suivant, l’horizon 17, dont le seuil minimal est (A_{17}=27) et dont la stabilité exacte est au palier (2^{28}). La structure est identique aux paliers précédents :
+La section suivante franchit le seuil contractif d’horizon 17, dont le seuil minimal est (A_{17}=27) et dont la stabilité exacte est au palier (2^{28}). La structure est identique aux paliers précédents :
 
 * construire le domaine de travail au palier (2^{28}) à partir du noyau après (D_{15}), filtré par (D_{16}),
 * extraire le paquet (D_{17}) minimal (classes où (A_{17}=27)),
@@ -13465,9 +13465,9 @@ Le rapport contient une table complète « par état » (60 états base (B_{12})
 
 Cette table est directement exploitable comme composante d’une table de transition d’états étendus ((\sigma,t)), où (D_{17}) représente une transition vers l’état absorbant “fermé” sur une fraction auditable des relèvements.
 
-## Conclusion
+## Conclusion du paquet \(D_{17}\) au palier \(2^{28}\)
 
-Dans la même logique que (D_{10}) à (D_{16}), le paquet (D_{17}) minimal stabilisé au palier (2^{28}) constitue une nouvelle étape formelle du lemme d’extinction :
+Le paquet (D_{17}) minimal stabilisé au palier (2^{28}) constitue une nouvelle étape formelle du lemme d’extinction :
 
 * 277899 clauses exactes (une par paire),
 * 555798 classes couvertes après scission,
@@ -13475,4 +13475,4 @@ Dans la même logique que (D_{10}) à (D_{16}), le paquet (D_{17}) minimal stabi
 
 La continuation immédiate, toujours dans le même schéma, est le paquet (D_{18}) minimal au palier (2^{30}) (car le seuil minimal à l’horizon 18 est (A_{18}=29) et la stabilité (2^{30})), suivi du même audit (tailles, distributions, table d’impact par état, liste exhaustive).
 
-Cette étape à l'horizon 17 marque une progression significative dans la fragmentation du noyau. Avec l'absorption de 555 798 classes supplémentaires au palier $2^{28}$, la démonstration sature désormais toutes les configurations atteignant le seuil critique $A_{17} \ge 27$. L'invariant $\max A_{17} = 26$ devient la nouvelle borne supérieure de persistance pour cet horizon.Je mets à jour le document principal pour intégrer ces résultats et consolider la section sur les lemmes d'extinction.L'audit de l'horizon 17 est maintenant intégré. Comme vous l'avez suggéré, la suite logique est l'Horizon 18 (Palier $2^{30}$) avec le seuil $A_{18}=29$.
+Au palier $2^{28}$, l’application du paquet $D_{17}$ couvre 555798 classes et impose l’invariant $\max A_{17}=26$ sur le domaine restant. La suite de la construction porte sur l’horizon 18 au palier $2^{30}$, avec le même protocole d’audit par tailles, distributions et impact par état.