Arbre compact de Guillaume Leuridan