Produit cartésien de deux tableaux de tableaux.
Les arguments sont des tableaux de tableaux du même type. En entrée : TTI : ((a t) (a u)) TTJ : ((x y) (w z)) En sortie : ((a t x y) (a t w z) (a u x y) (a u w z))