la solution est peut-être sous tes propres yeux...
Alut Alauth,
May be I gonna répondre à coté de la plaque, but may be que tu as la solution. Tu fais tout simplement comme pour TListRec, que rien ne t'a empêché de définir avant d'avoir défini T_listDefAux... une définition de structure défférée, puisque qu'il ne s'agit que de définir le type d'un pointeur.
Rien ne t'empêche de donné à « e » un type de pointeur, pointant sur une structure à définir plus tard (au cas où elle dépendrait des précédentes définitions).
Ou alors je n'ai pas compris la question ?
Sinon, (j'essai de deviner), peut-être que le type de « e » est polymorphe ? (c'est peut-être ce que tu entend quand tu dis qu'il peut contenir cela ou même d'autres choses). Mais à ma connaissance, les cours d'algo pour matheux n'intégre pas le polymorphisme... alors je penche plus silplement pour la première réponse (sous reserve que j'ai bien compris ta question).