ajout du TD3 du 04/10

TD3-04-10.txt

+TD Structures de données et algorithmes
+Université de Strasbourg
+bfreeling@unistra.fr 
+
+Spec MULTIENS étend BASE Sorte MultiEns
+
+Opérations :
+    creer_Multi :   -> MultiEns             //créé un MultiEns vide 
+    inscrit : MultiEns S -> MultiEns        //ajoute un élément de type S dans le MultiEns
+    suppr : MultiEns S -> MultiEns          //supprime la premiere occurence d'un élément 
+    nb_occ :                                //nombre d'occurence d'un élément 
+    taille_tot :                            //taille totale des MultiEns
+    taille_distinct :                       //nombre d'éléments distincts
+    vide :                                  //Est-ce que MultiEns est vide ?
+
+Axiomes : e :MultiEns, x,y : S 
+
+
+typedef struct strMultiEns{
+    Nat * v; //le tableau
+    Nat n; //le nombre d'éléments dans le tableau
+    Nat taille; //la taille du tableau 
+} StrMultiEns, *MultiEns;