Bonsoir,
Petite précision : le "Babu" (puisque c'est l'appellation couramment utilisée pour cet ouvrage, du nom de Jacques BABU qui en a dirigé la réalisation) a été édité à 5000 exemplaires pour la marine nationale avec une marque particulière pour ce ministère. Il s'agit déjà d'un tirage important pour ce type de document.
Il faut savoir qu'il existe également une édition ne comportant pas cette marque d'appartenance au ministère de la marine, on ignore cependant quel a été le tirage de cette autre édition.
Cordialement SL