Une preuve élégante de l'irrationalité de √2