Kompakt træ for Johann Devantier