Tous ceux de Benjamin qui tombèrent ce jour-là furent donc vingt-cinq mille hommes, tirant l'épée, et tous vaillants hommes.