Kompakt træ for Jacques Hans Devantier