rem: if ( DEBUG ) printf ( "fichier modifie\n" );
context: void modification_fichier ( gboolean modif ){    if ( modif )    {	if ( DEBUG )	    printf ( "fichier modifie\n" );	etat.modification_fichier = 1;	gsb_gui_sensitive_menu_item ( "FileMenu", "Save", NULL, TRUE );    }    else    {	if ( DEBUG )	    printf ( "fichier non modifie\n" );	etat.modification_fichier = 0;	gsb_gui_sensitive_menu_item ( "FileMenu", "Save", NULL, FALSE );    }}