def racine_du_double(x): 

   return sqrt(2*x)