diff --git a/v0/conjoncture_collatz.md b/v0/conjoncture_collatz.md
index d5db5aa..22a3823 100644
--- a/v0/conjoncture_collatz.md
+++ b/v0/conjoncture_collatz.md
@@ -2446,7 +2446,7 @@ Dans notre cadre, $27$ n'est pas une anomalie, c'est simplement un état qui dem
 
 En binaire, $27$ s'écrit `11011`.
 
-* On remarque une forte densité de "1". Comme vu au **Chapitre 2**, l'opération $3n+1$ va déclencher des cascades de retenues.
+* On remarque une forte densité de "1". D'après le **Chapitre 2**, l'opération $3n+1$ déclenche des cascades de retenues.
 * Cependant, pour $27$, les premières itérations ne produisent pas assez de divisions par $2$ pour compenser la croissance. Il "saute" de rail en rail.
 
 ### 2. Le mécanisme de capture par le Certificat
@@ -10928,7 +10928,7 @@ La continuation utile consiste donc à faire deux choses en parallèle :
 * verrouiller formellement les familles de clauses déjà acquises (et leurs seuils),
 * attaquer le lemme restant : la couverture totale (« la toile recouvre tout »), en procédant par raffinements congruentiels et en ajoutant des clauses **minorées** qui ferment les “frères” des classes exactes dès le palier où la divisibilité est garantie.
 
-## État rigoureux au palier (2^{14}=16384)
+## État formel au palier (2^{14}=16384)
 
 En ne considérant que des clauses issues de blocs stables au palier (2^{14}) et d’une fusion courte (a=1) (donc (m=(2y-1)/3)), la classification effective donne :