Compact tree of Thomas LUMMAS