Arbre compact de Pierre GRAVELLE