Arbre compact de Jean d'Auvergne