Compacte boom van Arij Kortenhoff