Proprietes syntactiques du produit non ambigu.