def quit(self, *args):
test = Test(self.file_faits, self.file_regles,
self.input_goal.get_text())
msg = test.do_test()
dialog = Gtk.MessageDialog(parent=self.assistance_window,
flags=0,
message_type=Gtk.MessageType.INFO,
buttons=Gtk.ButtonsType.OK,
text='final result')
dialog.format_secondary_text(msg)
dialog.run()
dialog.destroy()
print('quit')
Gtk.main_quit()
