Electrofred : non, ça peut se faire facilement, j'ai réussi en TS.
Soit Un=E(x*2^n)/(2^n)
alors, quand n tend vers l'infini, Un tend vers x.
De plus, Un est à valeurs rationnelles.
on sait que f(q)=a*q pour tout q rationnel.
soit x appartenant à R.
Alors, d'une part lim f(Un)= f(x), puisque Un tend vers x.
d'autre part lim f(Un)=lim(a*Un)=ax.
Par unicité de la limite, f(x)=ax.
Thorin.
-----