Arbre compact de Bauduin de Gruson