Compacte boom van Gerrit Tromp