Produit cartésien d'un tableau par un tableau de tableaux.
Documentation
Le premier argument est un tableau. Le second argument est tableaux de tableaux du même type. En entrée : TI : (a u) TTJ : ((x y) (w z)) En sortie : ((a x y) (a w z) (u x y) (u w z))