Définir une famille de groupes

Quel est le problème pour définir un ensemble d'ensembles? Pas besoin qu'ils fassent tous partie du même ensemble. Maintenant, tu veux une famille de groupes. Un groupe est la donnée d'un couple : un ensemble et une lci pariculière sur cet ensemble. On peut considérer sans problème un ensemble de groupe comme la donnée de tels couples. Je ne vois pas vraiment le problème. Je n'ai peut-être pas compris la nature de ton objection.

Le truc, c'est que si tu peux les considérer ensemble, c'est que tu connais l'ensemble de ces ensembles. Je vois pas trop comment faire autrement. On peut toujours grossir l'ensemble d'arrivée (même si c'est sans aucun intér^t à mon humble avis) en prenant les parties de l'union de ces ensembles mais pour pouvoir considérer l'union de ces ensembles tu dois connaître la famille de ces ensembles. Bref, ça se mord la queue.