function []=warning(txt)
//
//!
// Copyright INRIA
write(logfile,'WARNING:' +txt)



