Nous serions morts sans Rust et vérification formelle