Compact tree of Michel Weder