((La fonction x->exp(U(x