e_tests]);
      dataVerification.push([1000*r.ts, r.time_verification]);
      dataRepair.push([1000*r.ts, r.time_synthesis]);
    }

    $('#specific').highcharts({
        chart: {
            type: 'area'
        },
        title: {
            text: serie.name
        },
        xAxis: {
            type: 'datetime',
            dateTimeLabelFormats: { // don't display the dummy year
                month: '%e. %b',
                year: '%b'
            },
            title: {
                text: 'D