Manuel du Marin, n°5150 de la Nomenclature des Documents. Marine nationale, Paris 1972