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.