Liste des acquisitions - Service historique de la marine, Centre de documentation et de recherche de la IIIème région maritime, Bibliothèque