État général des fonds privés de la Marine — France. Service historique de la marine