Le lancement du sous-marin Aréthuse (9 novembre 1957).