Compacte boom van Henry Putnam