Petre, (se petring), hugge mursten i flere stykker.