La Colombie annonce avoir lancé une offensive militaire contre les guérillas à la frontière avec le Venezuela