Oui quaternions, octonions, tout ça...
Ce sont des extensions de C, au même titre que C est une extension de R et que R est une extension de Q.
C'est une extension dans le sens ou l'un est un sous-corps de l'autre.
Mais c'est vrai que "plus grand" ça veut pas dire grand chose.
P(C) c'est pas vraiment un bon exemple, parce que C n'est pas inclus dans P(C). L'auteur du topic voulait, je pense, un ensemble plus grand au sens de l'inclusion.