Compacte boom van Willem Toonen