ajout du monoide Int_plus dans le module Monoide_pack
ajout de la fonction Math.eucl_div