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