1er Régiment étranger d'Infanterie - Compagnie montée