Ichtyosauriens
substantif masculin pluriel* Mot issu de l'entrée ICHTYOSAURE
Famille de reptiles fossiles de l'ère secondaire du type ichtyosaure. Au-dessous du Jurassique, (...) une épaisse frondaison vivante, d'aspect tout différent, l'enveloppe et le recouvre [le rameau des Mammifères] : Dinosauriens, Ptérosauriens, Ichtyosauriens, Crocodiliens, et tant d'autres monstres moins familiers aux non-initiés à la Paléontologie (, Phénom. hum., 1955, p. 137).