Involutions, évaluation

Bonjour.
Pour $n \in \mathbb{N}$ un $n$-ensemble est un ensemble à $n$ éléments.
Soit $t_n$ le nombre d'applications involutives d'un $n$-ensemble dans lui-même. C'est la suite A000085 dans l'OEIS.
Ces nombres $t_n$ satisfont à une récurrence linéaire des plus simples : $t_n=t_{n-1}+(n-1)t_{n-2}$.
Ils s'expriment comme : $\displaystyle t_{n}=\underset{k=0}{\overset{\left\lfloor \frac{n}{2}\right\rfloor }{\sum }}\frac{n!}{2^{k}k!(n-2k)!}$.
Leur FGE (fonction génératrice exponentielle) est : $\displaystyle \underset{n=0}{\overset{+\infty }{\sum }}t_{n}\frac{x^{n}}{n!}=e^{x+\frac{x^{2}}{2}}$

Je m'intéresse aujourd'hui à leur évaluation asymptotique, qui est : $t_{n}\sim \frac{1}{\sqrt{2}}n^{\frac{n}{2}}e^{-\frac{n}{2}+\sqrt{n}-\frac{1}{4}}$ quand $n \rightarrow +\infty $.
Pour démontrer cette évaluation, j'ai trois sources :
- Knuth, The Art of computer programming, Vol. 3 ;
- Flajolet, Sedgewick, Analytic Combinatorics ;
- Wilf, generatingfunctionology.
Je trouve plutôt compliquées les méthodes proposées, et même douteuse dans Knuth.
Il y a une quatrième référence, c'est le problème de l'ESCP 1993, qui exprime $t_n$ comme la valeur au point 1 d'un polynôme façon Hermite, et fait prouver force encadrements. Là c'est bien élémentaire mais long.

Il est possible que cette question soit intrinsèquement compliquée, je sais bien que ça arrive, mais je voudrais savoir si vous n'auriez pas autre chose qui permette de simplifier tout ça.

Bonne et belle journée. Bien cordialement.
F. Ch.
08/05/2016
[small]Fête nationale de Jeanne d'Arc et du patriotisme, loi du 10 juillet 1920[/small]