**Motivations:**
- Poursuivre la formalisation de la descente sur la branche critique 31 mod 32
- Mettre à jour le rapport de vérification scientifique avec les nouveaux résultats
**Evolutions:**
- Ajout de nouveaux lemmes de descente uniformes pour la branche 31 mod 32
- Mise à jour de la couverture exhaustive au module 2048
- Actualisation du rapport scientifique
**Pages affectées:**
- v0/conjoncture_collatz.md
- v0/scientific-check_report_conjoncture_collatz.md