**Motivations:** - Poursuivre la formalisation de la preuve analytique - Intégrer les dernières précisions sur les lemmes de descente **Evolutions:** - Mise à jour du document v0/conjoncture_collatz.md **Pages affectées:** - v0/conjoncture_collatz.md