Hans trupper ( 4 , 000 man infanteri,