Arbre compact de Pierre Joseph DEVOOCHT