Document d'archives : Port autonome de DUNKERQUE : dénomination d'un ouvrage portuaire