The French Navy in World War II