Kompakt træ for Jaques Devantier