Proprietes syntactiques du produit non ambigu