La marine française et la guerre, 1939-1945 — Philippe Masson