Compacte boom van Jan van Straten