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