Resurgence, Hamilton-Jacobi equation, formal integral, alien derivatives