Le nombre total des Benjamites qui périrent ce jour-là fut de vingt-cinq mille hommes tirant l’épée, tous vaillants.