Arbre compact de Oscar Weinland