Ecrivez en extension l'ensemble des nombres réels
dont le carré est 2.