[skip ci] Appliquer le guide de rédaction scientifique sur conjoncture Collatz

**Motivations:**
- Aligner la rédaction de la section ajoutée avec le guide scientifique du projet
- Conserver le contenu démonstratif tout en supprimant les formulations non conformes

**Root causes:**
- Présence d'intitulés `Introduction`/`Conclusion` non qualifiés dans la nouvelle section
- Présence d'un bloc narratif conversationnel non neutre en fin de document

**Correctifs:**
- Renommage des titres en `Introduction de ...` et `Conclusion de ...` au niveau `##`
- Réécriture en style technique neutre des passages évaluatifs et conversationnels
- Conservation des hypothèses, lemmes, réductions et objectifs de clôture

**Evolutions:**
- Formalisation consolidée du lemme de frère et du noyau `both` dans une structure éditoriale cohérente

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

v0/conjoncture_collatz.md

@@ -11269,3 +11269,183 @@ La démonstration avance par un verrou formel : au palier (2^{15}), toutes les b
 La suite logique consiste à appliquer la même stratégie au noyau « both » : soit en trouvant des familles de fusion (F) supplémentaires qui s’appliquent directement à ces (593) parents, soit en prouvant qu’à profondeur bornée (L), une fraction strictement minorée de leurs descendants tombe dans l’union des clauses (D) et (F), ce qui fera décroître de manière démontrable le coefficient de survie.
 
 Le lemme de complétion par frères établit qu’au palier $2^{15}$ les 159 cas « one » sont absorbés par des clauses de descente minorée. Le noyau résiduel se réduit ainsi aux parents « both », avec un sous-problème mieux caractérisé pour la suite de l’analyse.
+
+## Introduction de la section sur le lemme de frère
+
+La preuve peut désormais progresser par un lemme général qui transforme la “complétion par frères” en un argument universel, indépendant des listes numériques : dès qu’une règle exacte distingue deux enfants d’un même parent au passage (2^{m}\to 2^{m+1}), l’enfant non couvert devient automatiquement fermable par une clause **minorée** au même horizon, parce que son numérateur affine gagne au moins un facteur (2). Ce lemme formalise exactement le mécanisme observé sur la chaîne des “sommets” (préfixes longs (a_i=1)) et, plus largement, sur toutes les bifurcations « one ».
+
+La continuation consiste donc à :
+
+* prouver le lemme de frère en toute généralité,
+* en déduire une réduction canonique : après complétion minorée, il ne reste à traiter que le noyau « both »,
+* exprimer ce noyau comme une intersection de contraintes congruentielles (donc comme un objet d’analyse 2-adique),
+* isoler l’ultime lemme restant pour conclure : montrer que ce noyau devient vide à un palier fini (2^M) lorsque la toile de clauses (D), (F) et (D minorées) est suffisamment dense.
+
+## Lemme de frère pour les clauses exactes
+
+On fixe un palier (m\ge 1). Un “parent” est une classe modulo (2^m). Ses deux “enfants” au palier (m+1) sont :
+[
+r \pmod{2^{m+1}}
+\qquad\text{et}\qquad
+r+2^m \pmod{2^{m+1}}.
+]
+
+On considère une clause exacte (D) à horizon (k) stabilisée au module (2^{A+1}), c’est-à-dire une clause dont l’application dépend uniquement de la congruence modulo (2^{A+1}), avec (A+1\le m+1). Elle fournit une identité affine exacte sur la classe :
+[
+U^{(k)}(n)=\frac{3^k n + C_k}{2^{A}},
+]
+et une condition de descente (ou de validité) exprimable par des congruences modulo (2^{A+1}).
+
+### Étape 1 : pourquoi une clause « one » impose nécessairement (A+1=m+1)
+
+Supposons qu’une clause exacte stabilisée modulo (2^{A+1}) s’applique à un enfant (n\equiv r\pmod{2^{m+1}}) mais pas à son frère (n\equiv r+2^m\pmod{2^{m+1}}).
+
+Si (A+1\le m), alors les deux enfants sont congrus modulo (2^{A+1}), car
+[
+(r+2^m)-r = 2^m \equiv 0 \pmod{2^{A+1}} \quad\text{dès que}\quad A+1\le m.
+]
+Donc la clause, qui ne dépend que de la congruence modulo (2^{A+1}), s’appliquerait aux deux enfants, contradiction.
+
+Conclusion :
+[
+\text{si une clause exacte distingue deux frères au palier }m+1,\ \text{alors nécessairement }A+1=m+1.
+]
+
+C’est le point charnière : tout cas « one » est forcément une clause exacte dont la stabilité atteint exactement le bit nouveau du palier.
+
+### Étape 2 : relation d’augmentation de valuation sur le numérateur affine
+
+Sur une classe où l’identité affine est valable, poser le numérateur :
+[
+N(n)=3^k n + C_k.
+]
+Pour deux frères (n) et (n+2^m),
+[
+N(n+2^m)=3^k(n+2^m)+C_k = N(n) + 3^k\cdot 2^m.
+]
+Comme (3^k) est impair, on peut écrire :
+[
+N(n)=2^m u,\quad N(n+2^m)=2^m(u+3^k),
+]
+pour un certain entier (u).
+
+Si (v_2(N(n))=m), alors (u) est impair. Comme (3^k) est impair, (u+3^k) est pair, donc
+[
+v_2(N(n+2^m))\ge m+1.
+]
+
+Conclusion :
+[
+v_2(N(n))=m \ \Longrightarrow\ v_2(N(n+2^m))\ge m+1.
+]
+
+De manière symétrique, si le frère a valuation exactement (m), l’autre gagne au moins un facteur (2). Cette propriété est exactement la mécanique henselienne “un relèvement gagne une valuation”.
+
+### Étape 3 : fermeture minorée du frère
+
+On suppose maintenant qu’une clause exacte de descente (D) est stabilisée au palier (m+1), donc (A=m), et qu’elle s’applique à un enfant (n\equiv r\pmod{2^{m+1}}). Cela signifie, par définition de la clause exacte, que sur cette classe :
+[
+U^{(k)}(n)=\frac{N(n)}{2^m}
+\quad\text{avec}\quad
+v_2(N(n))=m.
+]
+
+Par l’étape précédente, sur le frère (n\equiv r+2^m\pmod{2^{m+1}}), on a :
+[
+v_2(N(n))\ge m+1.
+]
+Donc, sans connaître la valuation exacte, on obtient une **minoration** uniforme :
+[
+A(n)\ge m+1.
+]
+Ainsi,
+[
+U^{(k)}(n)=\frac{N(n)}{2^{A(n)}}\le \frac{N(n)}{2^{m+1}}=\frac{3^k n + C_k}{2^{m+1}}.
+]
+
+La descente minorée est alors garantie dès que
+[
+\frac{3^k n + C_k}{2^{m+1}}<n
+\iff
+C_k<(2^{m+1}-3^k)n.
+]
+Dès que (2^{m+1}>3^k), un seuil explicite est
+[
+N_0=\left\lfloor\frac{C_k}{2^{m+1}-3^k}\right\rfloor+1.
+]
+
+Conclusion (lemme de frère, formulation finale)
+Si un enfant est couvert par une clause exacte (D) stabilisée au palier (2^{m+1}) (donc (A=m)) et que son frère ne l’est pas, alors le frère est couvert par une clause (D) **minorée** au même horizon (k), avec (\underline A=m+1), et un seuil (N_0) explicite.
+
+Ce lemme justifie rigoureusement, sans inspection individuelle, la complétion « one » : les “frères survivants” sont fermables au même palier dès que (2^{m+1}>3^k), condition satisfaite dès que (m) est modérément grand pour les horizons (k) effectivement utilisés (les horizons courts et moyens de la toile).
+
+## Réduction canonique au noyau « both »
+
+On définit maintenant une opération de fermeture à palier (m+1).
+
+* on part d’un registre (K) de clauses exactes (D) et (F),
+* on ajoute automatiquement toutes les clauses (D) minorées fournies par le lemme de frère pour les cas « one ».
+
+Appelons (R_{m+1}^{\mathrm{comp}}) le résidu non couvert après cette complétion.
+
+Propriété immédiate
+Un parent (r\in R_m) ne contribue à (R_{m+1}^{\mathrm{comp}}) que s’il est de type « both », c’est-à-dire si **les deux enfants** échappent aux clauses exactes stabilisées au palier (m+1).
+
+Donc, après complétion :
+[
+R_{m+1}^{\mathrm{comp}} = { \text{enfants des parents both de }R_m}.
+]
+
+Ce point réduit la preuve globale à une question structurale : montrer que la suite des noyaux « both » s’éteint à profondeur finie.
+
+## Reformulation analytique du noyau « both » comme intersection de contraintes
+
+Un parent « both » à un palier fixé est caractérisé par une suite de négations :
+
+* pour toute clause exacte (D) disponible au palier, ni l’enfant gauche ni l’enfant droit ne satisfait la congruence d’application de la clause,
+* pour toute clause exacte (F) disponible au palier, même négation.
+
+Or chaque clause exacte d’horizon borné correspond à une condition congruentielle modulo (2^{A+1}) (et parfois aussi modulo (3) via la condition de fusion). Comme (A+1\le m+1), ces conditions se lisent sur une quantité finie de bits.
+
+Ainsi, le noyau « both » est l’ensemble des résidus qui évitent une famille finie de congruences. À palier fixé, c’est un objet fini. Le passage à l’analyse consiste à comprendre comment cette famille d’évitements se renforce en augmentant (m).
+
+Deux mécanismes sont alors disponibles, déjà rencontrés dans la construction des fusions minimales (t=6,7) et des descentes minimales :
+
+* unicité des solutions de congruences linéaires (\alpha t+\beta\equiv 0\pmod{2^s}) avec (\alpha) impair,
+* relèvements henseliens : une contrainte “valuation élevée” force une progression sur une chaîne (2)-adique de plus en plus fine, ce qui rend la classe très rare, puis fermable par minorations à un palier où un bloc contractif devient stable (comme au palier (2^{14}) avec (k=8,A=13)).
+
+Le noyau « both » est donc attendu comme l’intersection de quelques chaînes henseliennes et de contraintes de parité de valuations ; ce sont exactement les objets sur lesquels la toile de règles doit “se refermer”.
+
+## Lemme final à établir pour conclure
+
+Tout est maintenant ramené à un énoncé unique, qui est la version “preuve” de la phrase « la toile finit par recouvrir tous les nombres possibles ».
+
+Énoncé de clôture
+Il existe un palier (M) tel que, après complétion par le lemme de frère à chaque niveau (\le M), on obtient
+[
+R_M^{\mathrm{comp}}=\varnothing.
+]
+
+Cela implique immédiatement l’existence d’un registre fini (K) couvrant toutes les classes impaires modulo (2^M), donc une réduction stricte pour tout entier impair au-delà d’un seuil global (N^*), donc Collatz par descente bien fondée et vérification finie sous (N^*).
+
+Ce lemme de clôture peut être prouvé de deux manières, toutes deux compatibles avec la méthodologie développée :
+
+Voie “certificat fini”
+Montrer directement, par une identité d’ensembles finie, que l’union des classes couvertes par (D), (F), et les (D minorées) engendrées par le lemme de frère, est égale à l’ensemble des impairs modulo (2^M). Cette voie demande un audit computationnel, mais l’argument mathématique reste une égalité d’ensembles finie.
+
+Voie “contraction uniforme”
+Montrer qu’il existe une profondeur (L) et une constante (\theta>0) tels que tout parent « both » engendre, à profondeur (L), au moins une fraction (\theta) de descendants qui tombent dans la toile (D) ou (F), ce qui force une extinction en profondeur finie. Cette voie demande un lemme d’analyse sur les contraintes linéaires qui gouvernent les valuations.
+
+## Étape suivante immédiate
+
+La continuation la plus directe, sans changer de cadre, consiste à traiter le noyau « both » restant par une couche supplémentaire de fusions (F) à horizons (t=6) et (t=7), précisément parce que ces fusions ont des seuils structurels plus faibles que la descente (gain d’une unité sur (A) pour (t=6) et (t=7)). L’objectif est que les parents « both » soient forcés, après un raffinement borné, d’entrer dans l’une des classes de fusion minimales déjà classifiées (modulo (1024) et (4096)), ou dans les classes de descente minimales (modulo (8192)), ou dans les blocs contractifs stabilisés (modulo (16384)).
+
+Cette étape est désormais mécanique : elle consiste à prendre une description congruentielle des parents « both » (au palier (2^{14}) par exemple), à propager deux pas dans l’arbre, et à prouver qu’au moins un des quatre petits-enfants satisfait une congruence de fusion ou de descente. C’est exactement le même type de raisonnement que celui déjà effectué sur la sous-branche (n\equiv 63\pmod{64}) menant à (2431\pmod{4096}), mais appliqué systématiquement à toutes les sous-branches du noyau.
+
+## Conclusion de la section sur le lemme de frère
+
+La démonstration continue par un verrou formel : le lemme de frère montre, sans inspection individuelle, que toute bifurcation « one » est fermable au même palier par une clause (D) minorée, dès lors que la clause exacte qui couvre l’autre enfant est stabilisée précisément au bit nouveau. Cela justifie rigoureusement la stratégie de complétion et réduit la preuve au noyau « both ».
+
+La suite de la preuve est maintenant concentrée sur un unique objectif : montrer que ce noyau « both » s’éteint à palier fini, soit par un certificat de couverture totale modulo (2^M), soit par un lemme de contraction uniforme à profondeur bornée exploitant les congruences linéaires qui gouvernent les valuations et les classes de fusion. La prochaine étape technique consiste à dériver, sur le noyau « both » au palier (2^{14}) ou (2^{15}), une contrainte congruentielle explicite qui force l’entrée dans les classes de fusion minimales (t=6,7) ou dans les descentes minimales (t=7), puis à itérer jusqu’à extinction.
+
+Le lemme de frère convertit la fermeture observée des classes « one » en un énoncé structurel : la complétion minorée ferme ces classes au même palier, et la preuve se concentre ensuite sur les 593 parents « both ». La clôture finale reste conditionnée à l’extinction de ce noyau par entrée forcée dans une clause de fusion ou de descente à profondeur bornée.