Arbre compact de Seraphin Leroy