Hamilton-Jacobi equation, optimal synthesis, viability theory, set-valued derivatives