Moi zossi

Sa preuve établit au passage que $\log 3/\log 2$ est irrationnel, en effet en partant de $(\sqrt 2)^y = 3$, il établit que $y$ est irrationnel.
Or $((\sqrt 2)^y = 3)\equiv (e^{y/2.\log 2}=3)\equiv (y=2.\log 3/\log 2 )$

cooool

Toni, avec $\varphi=\sqrt2^{\sqrt2}$, on a bien $\varphi^{\sqrt2} = \sqrt2^{\varphi}$

Ah ben mince alors, j'ai perdu une occasion de me taire ...
Mais bon, c'est Tromaril qui prend à ma place, donc tout va bien