rem: gnome_property_box_changed ( GNOME_PROPERTY_BOX ( fenetre_preferences ) );
add: activer_bouton_appliquer (  );
context: void supprimer_verification ( GtkWidget *bouton_supp,			      GtkWidget *fenetre_preferences ){  if ( fichier_verifier_selectionne == -1 )    return;  liste_suppression_fichier_a_verifier = g_slist_append ( liste_suppression_fichier_a_verifier,							  gtk_clist_get_row_data ( GTK_CLIST ( liste_comptes_verifies ), fichier_verifier_selectionne ));    gtk_clist_remove ( GTK_CLIST ( liste_comptes_verifies ), 		     fichier_verifier_selectionne );  nb_fichier_verifier--;  if ( fichier_verifier_selectionne == nb_fichier_verifier )    fichier_verifier_selectionne--;  if ( fichier_verifier_selectionne != -1 )    gtk_clist_select_row ( GTK_CLIST ( liste_comptes_verifies ), 			   fichier_verifier_selectionne ,			   0 );  else    gtk_widget_set_sensitive ( GTK_WIDGET ( bouton_enlever ),			       FALSE );      gnome_property_box_changed ( GNOME_PROPERTY_BOX ( fenetre_preferences ) );}