det samma tjena 1025 man i Algeriet ; den republikanska gardeslegionen slutligen räknar 3710 man.