Infantry tactics, or, Rules of the exercise and manœuvres of infantry