En pantomim , La guerre au Tonkin,