Signals intelligence and Vichy France, 1940–44: Intelligence in defeat