Paquetages

   type T_Info_Paquetage (Generique : Boolean := False) is
      record
         Nom : Unbounded_String;
         Commentaire : Unbounded_String := Null_Unbounded_String;
         case Generique is
            when True =>
               Declarations : T_Info_Generic;
            when False =>
               null;
         end case;
      end record;

   subtype T_Nbr_Paquetage is Natural range 0 .. Max_Paquetages;
   type T_Tab_Paquetages is array (T_Nbr_Paquetage) of T_Info_Paquetage;
   type T_Paquetage is
      record
         Nbr_Paquetages : Natural := 0;
         Tab_Paquetages : T_Tab_Paquetages;
      end record;

Un paquetage a comme particularité qu'il peut être générique ou pas ce qui justifie l'utilisation d'un type article à discriminant.