An a Posteriori Error Estimate for a Semi-Lagrangian Scheme for Hamilton-Jacobi Equations.