Le total des Benjaminites qui tombèrent ce jour-là fut de vingt-cinq mille hommes tirant l’épée – c’étaient tous des hommes vaillants.