Parameter Base__.Hash_set.M.1-Elt