La Porte Rouge avait été commandée par Louis XIV.