A tentative formalisation of mini-Rust.