Kompakt træ for Otto Devantier