Compacte boom van Giervelt