Arch. de la Marine, Paris

Archives Centrales de la Marine, Paris.