Port de l’Arsenal, Paris