Gravar-mail: La « petite guerre » africaine, entre conquête, contre-guérilla et contre-insurrection (1880-1900)