rem: void changement_de_banque ( void )
add: void changement_de_banque ( GtkWidget * menu_shell )
context: void changement_de_banque ( void ){  struct struct_banque *banque;  banque = gtk_object_get_data ( GTK_OBJECT ( GTK_OPTION_MENU ( detail_option_menu_banque ) -> menu_item ),				 "adr_banque" );  if ( banque )    {      if ( banque->code_banque )	{	  gtk_label_set_text ( GTK_LABEL ( label_code_banque ),			       banque->code_banque );	}      gtk_widget_set_sensitive ( bouton_detail,				 TRUE );    }  else    {      gtk_label_set_text ( GTK_LABEL ( label_code_banque ),			   "" );      gtk_widget_set_sensitive ( bouton_detail,				 FALSE );    }}