C. Programmation impérative en OCaml