Kompakt træ for Peder Jacques Devantier