A few tools to help HTML5/JS Inria