subtype T_Nbr_Clause is Natural range 0 .. Max_Clauses;
type T_Tab_Clauses is array ( T_Nbr_Clause ) of Unbounded_String;
type T_Clause is
record
Nbr_Clauses : Natural := 0;
Tab_Clauses : T_Tab_Clauses;
end record;
Cette structure contiendra les différentes clauses présentent dans la
spécification du paquetage ainsi que celle nécessaire à la
présentation du programme de test.