Arbre compact de Charles Louis Proot