<latex> Oui mais jobhertz, $2=\sqrt{2} \times \sqrt{2}$.
Marine : tu peux reprendre quasiment mot-pour-mot la démo de l'irrationalité de $\sqrt{2}$, le point important n'étant pas que $2$ soit premier mais qu'il soit "2-libre" c'est-à-dire divisible par aucun carré.