portugisiska armén äro i fredstid högst 22.000man