pierres rouges et autres pierres précieuses pour l’éfod et pour la pochette du grand-prêtre.