Produit cartésien d'un tableau de tableaux par un tableau.
Le premier argument est un tableau de tableaux du même type que le second argument. En entrée : TTI : ((a t) (a u)) TJ : (x y) En sortie : ((a t x) (a t y) (a u x) (a u y))