algerinska hufvudstyrkan , utgörande 12 — 15 , 000 man.