October 9, 2026 Réécrire le moteur de Quake en Rust sûr : la vérification pixel par pixel comme boussole Refactorisation de moteur de jeuVérification automatiséeMigration de codeWebAssembly