rem: gtk_widget_set_sensitive ( GTK_WIDGET ( menu_fichier[6].widget ),
add: gtk_widget_set_sensitive ( GTK_WIDGET ( menu_fichier[DERNIERS_FICHIERS].widget ),
context: void efface_derniers_fichiers_ouverts ( void ){  /* on met +1 pour la sparation */  if ( nb_derniers_fichiers_ouverts )    gnome_app_remove_menus ( GNOME_APP ( window ),			     "Fichier/Derniers fichiers/",			     2 * ( nb_derniers_fichiers_ouverts + 1 ));  gtk_widget_set_sensitive ( GTK_WIDGET ( menu_fichier[6].widget ),			     FALSE );}