B. Programmation impérative en OCaml