infanteriet i Indien skall i hvarje presidentskap okas med eli regemente på tio kompanier.