package file is
  maxsize_file : constant := 10;
  Erreur_FileVide : exception;
  Erreur_FilePleine : exception;
  type int_array is array (natural range 1..maxsize_file) of integer;
  type MaFile is record 
    data : int_array;
    head, queue : natural;
    size : integer;
  end record;
  
  initFile : constant MaFile := ((others => 0), 1, 1, 0);
  
  procedure enfiler(f: in out MaFile; e : integer);
  procedure defiler(f: in out MaFile);
  function tete(f: in MaFile) return integer;
  function fileVide(f: in MaFile) return Boolean;
  function filePleine(f: in MaFile) return Boolean;
end file;