projet SPE OCAML