Quand on dit que les éléments d'une tuple ou d'une liste peuvent être quelconque. Est-ce que cela veut dire que l'élément peut être une liste, un tuple, un ensemble, ...?

Oui, tout à fait. Des listes à 2 dimensions, cela existe. Des tuples de listes également.

Bizarrement, des ensembles d'ensembles? Et des ensembles de ..... Bizarrement, car il faut vérifier que les éléments de l'ensemble sont distincts!!!!!