C. Listes inductives en OCaml