et à qui Abraham donna la dîme de tout le butin, — qui est d'abord, selon la signification de son nom, roi de justice, ensuite roi de Salem, c'est-à-dire, roi de paix,