Quand une fonction admet un paramètre de type tableau, il y a deux cas
possibles :
-
soit les différents tableaux qui lui sont passés en paramètre
effectif ont des tailles différentes, et dans ce cas la taille doit être
un paramètre supplémentaire de la fonction, comme dans l'exemple précédent ;
-
soit les différents tableaux qui lui sont passés en paramètre
effectif ont tous la même taille, et dans ce cas la taille peut
apparaître dans le type du paramètre effectif :