(public-speech import sentinel)

This road’s name comes from the neighborhood of the Port-Royal boulevard.