Moi zossi

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

cooool

Toni, avec [latex]\varphi=\sqrt2^{\sqrt2}[/latex], on a bien [latex]\varphi^{\sqrt2} = \sqrt2^{\varphi}[/latex]

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