Bénaja donc fils de Jéhojadah monta, et se jeta sur lui, et le tua ; et on l'ensevelit dans sa maison au désert.