Corée du Sud: l'armée a tiré des "coups de semonce" après une courte incursion de soldats nord-coréens