- type T_Jeton; 
-    type T_Liste_De_Jeton is access T_Jeton; 
-    type T_Tab_Jeton is array (Positive range <>, 
-                               Positive range <> ) of T_Liste_De_jeton; 
-    type T_Matrice(N : T_Borne_1; 
-                   M : T_Borne_1) is 
-       record 
-          Tab_Jeton : T_Tab_Jeton(1..N,1..M) := (others => (others => null)); 
-          Id_Count : T_Borne_2 := 0; 
-          k,l : T_Borne_1 := 1; 
-       end record; 
-   
-    type T_Jeton is 
-       record 
-          Suivant : T_Liste_De_Jeton; 
-          Id_Jeton : T_Borne_2 := 0; 
-          Id_Up : T_Borne_2 := 0; 
-          Id_Down : T_Borne_2 := 0; 
-          Id_Left : T_Borne_2 := 0; 
-          Id_Right : T_Borne_2 := 0; 
-          Image : T_Image; 
-       end record; 
-    type T_Taquin is-- new Ada.Finalization.Limited_Controlled with 
-       record 
-          Matrice    : T_Matrice(N,M); 
- --       Vide_liste : T_Liste_De_Jeton; 
- --       Vide_Jeton : T_Jeton; 
-          Liste_Du_Taquin : T_Liste_De_Jeton := null; 
-          Courant : T_Liste_De_Jeton := null; 
- --       Precedant : T_Liste_De_Jeton; 
-       end record;