pierres de cornaline, et autres pierres précieuses pour l’éfod et le pectoral du grand-prêtre.