différence gtk_destroy_widget(fenetreprincipale) et gtk_main_quit

Version imprimable