redan wid Armeen för Pondichery , som war 20,000 man.