'''
 La fonction se termine avec la technique du variant car la boucle while utilise le variant 1<len(t)
 et la boucle effectue i = i + 1, le variant de boucle est donc len(t)-i
 A chaque tours de boucles, i augmente de 1, donc len(t)-i diminue de 1 Donc len(t)-i finira par être nul
 et la boucle se finira alors
'''