Mines de CHO DON, action (INDOCHINE) (V)