Arch. De la Marine, Paris

Archives Centrales de la Marine, Paris.