rem: icone = gtk_image_new_from_stock (GTK_STOCK_PRINT, GTK_ICON_SIZE_BUTTON);
add: icone = gtk_image_new_from_stock (GNOME_STOCK_BOOK_OPEN, GTK_ICON_SIZE_BUTTON);
context: void changement_etat ( GtkWidget *bouton,		       struct struct_etat *etat ){  GtkWidget *icone;  /* on commence par refermer l'ancien bouton */  if ( bouton_etat_courant )    {  /* FIXME */      icone = gtk_image_new_from_stock (GTK_STOCK_PRINT, GTK_ICON_SIZE_BUTTON);  /*       icone = gnome_stock_pixmap_widget ( GTK_WIDGET ( bouton ), *//* 					  GNOME_STOCK_PIXMAP_BOOK_BLUE); */      gtk_container_remove ( GTK_CONTAINER ( bouton_etat_courant ),			     GTK_BIN ( bouton_etat_courant ) -> child );      gtk_container_add ( GTK_CONTAINER ( bouton_etat_courant ),			  icone );      gtk_widget_show ( icone );    }  /* on ouvre le nouveau */  bouton_etat_courant = bouton;  etat_courant = etat;  gtk_widget_set_sensitive ( bouton_personnaliser_etat,			     TRUE );/* FIXME: ractiver ca le jour ou on sort l'impression	mais de toutes faons, ca sera merg   gtk_widget_set_sensitive ( bouton_imprimer_etat,			     TRUE );*/  gtk_widget_set_sensitive ( bouton_exporter_etat,			     TRUE );  gtk_widget_set_sensitive ( bouton_dupliquer_etat,			     TRUE );  gtk_widget_set_sensitive ( bouton_effacer_etat,			     TRUE );  /* FIXME */  icone = gtk_image_new_from_stock (GTK_STOCK_PRINT, GTK_ICON_SIZE_BUTTON);/*   icone = gnome_stock_pixmap_widget ( GTK_WIDGET ( bouton ), *//* 				      GNOME_STOCK_PIXMAP_BOOK_OPEN); */  gtk_container_remove ( GTK_CONTAINER ( bouton_etat_courant ),			 GTK_BIN ( bouton_etat_courant ) -> child );  gtk_container_add ( GTK_CONTAINER ( bouton_etat_courant ),		      icone );  gtk_widget_show ( icone );  /* on met le nom de l'tat dans la frame du haut */  gtk_label_set_text ( GTK_LABEL ( label_etat_courant ),		       etat -> nom_etat );  /* on affiche l'tat */  rafraichissement_etat ( etat );}