Départ du 1er Régiment étranger d'infanterie (REI) pour le front.(1940)