Arbre compact de Pierre Gravelaine