Il suffit de tout regrouper :
let
pgcd u v =
let
us = decompose u
and
vs = decompose v
in
produit (communs us vs)
;;
la solution complète est le fichier
college.ml
.