Démarcation, Ligne de (France, 1940-1943)