Colombie : neuf guérilléros tués par l'armée près de la frontière avec le Venezuela