TAILLEUR DE PIERRE

Ouvrier qui travaille la pierre, qui découpe, façonne et dresse les pierres à bâtir (2R 12:11, 12 ; 2Ch 24:12). Le roi David établit comme tailleurs de pierre des résidents étrangers en Israël “ pour tailler des pierres de taille ” (les façonner aux dimensions voulues) en vue de la construction du temple de Jéhovah. — 1Ch 22:2, 15 ; voir aussi 1R 6:7 ; voir CARRIÈRE.