Arbre compact de Pierre Francois Joseph Halluin