rem: export_etat_vers_html ( gsb_gui_navigation_get_current_report ());
add: export_etat_vers_html ( gsb_gui_navigation_get_current_report (), filename );
context: void export_etat_courant_vers_html ( ){    if ( gtk_notebook_get_current_page ( GTK_NOTEBOOK ( notebook_general)) != 7 )	gtk_notebook_set_page ( GTK_NOTEBOOK ( notebook_general),				7 );    export_etat_vers_html ( gsb_gui_navigation_get_current_report ());}