(Histoire naturelle) nom dont on s'est servi pour désigner du bois de pin pétrifié.