Produit cartésien et Parties

Ensemble de départ :