Sous-marins : les 13 campagnes à l'exportation de Naval Group