Bitka kod Gergovije: razlika između inačica