double x;
/* trichons un peu */
x = 2.718281828459045235360287;
printf("%.17g", x); /* faux a la 16e decimale */