Le Tonkin de 1872 à 1886, histoire et politique