Paramètre formel

Bonjour,

supposons que Tab= tableau[1..n] de Entier, sachant que n est une constante qui vaut par exemple 20.
Dans une fonction ou bien une procédure, au niveau du paramètre formel, est ce que je dois déclarer n ? comme suit:

Procédure afficher (T: Tab , n: entier)
ou bien il suffit, seulement, de le faire comme suit:
Procédure afficher (T: Tab)
Puisque, en connaissant le type de T (tab), on peut connaitre aussi la taille n sans la déclaré de nouveau ?
Qui peut m'expliquer ça, SVP.