L'armée comptait d'abord appeler son 7e sous-marin "Dakar", d'après le nom d'un navire militaire mystérieusement disparu ; les familles des 69 marins décédés s'y étaient opposés