What happened to the, potentially millions of french men, that would have taken part in WW2 if the battle of France had not been lost? Did the majority remain in France as civilians and continue working?