Catalogue général des livres composant les bibliothèques du Département de la marine et des colonies [electronic resource]