corps af 9500 man tägat från Catalonien åt Portugisiska gränsen.