såsom Havas försäkrar , göra slut på operationerna i Tonkin , och derefter ämnarman