Produit direct d'une famille de groupes