Что значит «петрургия»?

Cлово «петрургия» означает:

(от греч. petros — камень и ergon — работа) — то же, чтокаменное литье.

Источник: Большой Энциклопедический Словарь

Какими словами можно заменить слово петрургия? В качестве синонимов в русском языке чаще всего используются: