Compact tree of Harm de Vries