et Benaïa, fils de Jehoïada, [était chef] des Keréthiens et des Peléthiens ; et les fils de David étaient les principaux officiers.