-- On initialise la file
   F := Init;

   X := File_Vide(F);
   IF X = True THEN
      Put_Line("La file est vide.");
   ELSE
      Put_Line("La file n'est pas vide.");
   END IF;

   -- Empilage
   FOR I IN 1..Integer(Taille) LOOP
      Ajouter(F,T_Info(I));
      Put(I);
      Put(" ");
   END LOOP;
   New_Line;

   Put("Le premier element est ");
   Y := Integer(Premier(F));
   Put(Y);
   Put(".");
   New_Line;

   Put("Le dernier element est ");
   Z := Integer(Dernier(F));
   Put(Z);
   Put(".");
   New_Line;

   -- On dépile la file jusqu'à ce qu'elle soit vide, ce qui vérifie l'axiome disant qu'une pile peut être dépilée tant qu'elle n'est pas vide
   FOR I IN REVERSE 1..Taille LOOP
      Retirer(F);
      Put(Integer(I));
      Put(" ");
   END LOOP;
   New_Line;

   X := File_Vide(F);
   IF X = True THEN
      Put_Line("La file est vide.");
   ELSE
      Put_Line("La file n'est pas vide.");
   END IF;

   Put("Le premier element est ");
   Y := Integer(Premier(F));
   Put(Y);
   Put(".");
   New_Line;

   Put("Le dernier element est ");
   Z := Integer(Dernier(F));
   Put(Z);
   Put(".");