Le total des Benjaminites tués ce jour-là fut donc de 25 000 soldats portant l’épée, tous des hommes de guerre.