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.