L'Infanterie montée dans les guerres coloniales. — Édouard Constant Olivier