Ce document présente les spécifications détaillées et formelles (en SPEC) des principaux types SPEC, tant les types de base -- e.g., nat, char, etc. -- que les constructeurs de type -- e.g., set, map, etc. -- ou certains types virtules -- e.g., equality, partial_order, etc. Ces spécifications ont été obtenues par ftp anonyme (taurus.cs.nps.navy.mil) et faisaient partie de la suite d'outils Spec initialement développés par V. Berzins et Luqi. Ces spécifications de types, ainsi que de nombreux autres types, sont aussi définies dans l'appendice D de [BL91].