Parameter Core_kernel__.Core_set_intf.Check_accessors.3-Elt