      \fitem{shape}(t:value) %
      \index{dim@\atvar{dim}}\index{dimension}\index{shape} %
      returns 0 if \code{t} is not an array, and else returns a tab of
      integers each corresponding to the size of one of the dimensions of
      \code{t}. Notice that the elements of an array are homogeneous,
      \emph{i.e.} they have all exactly the same dimension and the same
      shape.



      %%% -------------------------------------------------------

