Migueliternas hela antal uppstattas , i detta bref , till 20,422 maninfanteri