Synonymestéléphonosaure