Nederlandse synoniemen voor 'petrificeren'