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.