Arsenal de Toulon : La porte principale.

(photo © Jean-Michel Roche)