Ben ça dépend: souvent, avec certaines utilisations, on veut une taille de la liste fixé (mais éventuellement variable) et significative: par exemple pour se servir de dim(L₁), genre comme indice de fin de boucle, et peut avoir un grand intérêt dans certains cas.
C'est pour cette raison que j'ai rajouté la redimensionement: pour que 'l'algorithme' soit formellement équivalent.

évidemment, dans son cas, s'il veut absolument et tout le temps que les 3 premiers, que ce n'est pas susceptible de modifications, qu'il n'utilise donc a priori pas la dimension activement, c'est tout à son avantage.