Comment utiliser un opérateur binaire (comme union, somme directe) comme grand opérateur (comme somme ou produit) ?