Colombie : un chef de la guérilla ELN tué lors d’une opération militaire