Issue #25 : put metrics in JSON format