trupper till spanska gränsen ; de lära uppgå till 25,000 man.