product() and otf_product() should raise an exception if the dictionnaries are different

... instead of an assertion.