Les sous-marins français, 1945-2000 — Claude Huan, Jean Moulin