Nantes Université
Permettre de traiter, en pas à pas, des opérateurs ensemblistes de la forme : req1 op-ens req2.