Industries et professions maritimes — France. Direction de la documentation française