method virtual display_elt : ('-> unit) option