picapedrero (sustantivo masculino): Oficial que labra la piedra de sillería.