Implémentation en OCaml du module Naturel