Compacte boom van Benjamin Henriques de Granada