Définition d'un groupe produit