Compacte boom van Roelof Vree