France. Dépôt général de la marine.