Arbre compact de Ignatius Gruber