Colombie : l'armée a tué le principal chef de la dissidence des FARC, annonce le gouvernement