produit expr avec i₁,…,i_ndans r₁,…,r_nétant p     où i_j:Identificateur,r_j:Liste | Vecteur | Parcours,expr:Expression,expr:Expression

sigma expr avec i₁,…,i_ndans r₁,…,r_nétant p     où i_j:Identificateur,r_j:Liste | Vecteur | Parcours,expr:Expression,expr:Expression