https://github.com/OCamlPro-Iguernlala/ocplib-simplex
