Synonymestérébinthiné