som sammandrages vid Portugisiska gränsen , skall bestå af 12,000 man.