1 Rois 20:15

Alors il dénomma les jeunes gens des chefs des provinces, et ils étaient deux cent trente-deux ; et après eux il dénomma tout le peuple, [même] tous les enfants d'Israël, [étant] sept mille.

Ver. 15. Et ils étaient deux cent trente. ] Ceux-ci ayant la parole de Dieu pour leur mandat, eurent plus de succès que ces trois cents gentilshommes romains, qui allaient - pour un nom - combattre avec quelques ennemis voisins, péris par leur propre témérité. une

a Flor., lib. je., cap. 12. Veientes.