(X:Sig.X) : Polynome.T with type r =  X.r = struct

  let mult _ _ = assert false

  include Polynome.Make(struct include X let mult = mult end)

end