ben un tail-call c'est juste un appel de fonction dont on renvoie directement le résultat non ? donc je ne vois pas pourquoi ça serait spécialement limité à la fonction en cours

(en gros l'idée c'est juste que tu remplaces (en pseudo-assembleur) "call bidule; return" par juste "goto bidule" car c'est équivalent). Mais en fait je ne vois pas trop comment le compilateur pourrait avoir du mal à déterminer si un appel est un tail-call ou pas, genre en C c'est un tail-call si c'est l'argument de return, point, c'est pas vraiment compliqué si ?