Dinosaurus

L'holotype de Dinosaurus murchisonii a été collecté dans une mine de cuivre situé dans le gouvernement d'Orenbourg, en Russie, dans les années 1840[1]. Il est d'ailleurs trouvé à deux reprises, avant d'être ultérieurement ré-assemblé. Le fossile en question est datée du milieu du Permien[2]. Le directeur de la mine, Wagenheim von Qualen, identifie initialement le premier morceau comme un fossile de plante, dans une lettre à Gotthelf Fischer von Waldheim, mais Fischer réalise qu'il fait partie d'un crâne et le décrit en 1845 comme une nouvelle espèce du genre Rhopalodon (créé en 1841), R. murchisonii[3]. En 1847, Fischer décrit le deuxième morceau et crée un nouveau genre, qu'il nomme Dinosaurus. En 1848, Eichwald reconnait non seulement que les deux spécimens sont de la même espèce, mais qu'ils s'assemblent en tant que parties du même individu. Il rend provisoirement l'espèce à Rhopalodon, car il estime qu'il n'y a pas encore assez de différences identifiées pour justifier un deuxième genre, et note l'existence du taxon du même nom Dinosauria, nommé par Richard Owen quelques années auparavant, en 1842[4].

Wagenheim von Qualen fait don des deux spécimens à la collection de Maximilien de Beauharnais, duc de Leuchtenberg, et les originaux ont depuis été perdus. Cependant, des moulages des spécimens sont conservés à l'Institut de Paléontologie de l'Académie des Sciences de Russie sous les numéros de catalogue PIN 296/1 et PIN 296/2.

En 1894, Harry Govier Seeley remarque que Cliorhizodon, qui est maintenant considéré comme un synonyme plus récent de Syodon[5], ne peut pas être distingué de Dinosaurus[6]. En 1954, Ivan Efremov juge le taxon Dinosaurus comme synonyme de Brithopus. Cela est suivi par quelques autres auteurs[7], mais Christian Kammerer considère Brithopus, qui est basé seulement sur un humérus partiel, comme un nomen dubium, et, en tant que tel, ne considère pas Dinosaurus comme synonyme de ce dernier.

En 2000, Mikhail F. Ivakhnenko fait de Phthinosuchus un synonyme de Dinosaurus[8]. En 2002, le même auteur classe ce dernier dans la famille de Phthinosuchidae (en), qu'il regroupe avec les Rubidgeidae[N 1] dans la super-famille Rubidgeoidea de l'ordre des Gorgonopia[10]. Kammerer remarque que les informations anatomiques limitées disponibles pour Dinosaurus rendent difficile la confirmation de cette synonymie proposée[11].