Core_set_intf.Elt