B. Listes inductives en OCaml