ame + "-" + new Date().getFullYear() + 
                                                    "-" + (new Date().getMonth() + 1) + "-" + new Date().getDate() + ".json");
                } else if (document.getElementById("export-select").value === 'csv') {
                    var export_data, first_column = true;
                    export_data = "data:text/csv;charset=utf-8,";
                    for (var column_name in await formatted_data[0]) { // remplacer par la variable globale des noms des colonnes en s