Produit cartésien de deux tableaux.
Les arguments sont des tableaux du même type. En entrée : TI : (a b) TJ : (x y) En sortie : ((a x) (a y) (b x) (b y))