De l’armée en Afrique à l’Armée d’Afrique (1830-1914)