let software_copyright =
"Copyright 2004,2005,2006 Institut National de Recherche en \n"^
"Informatique et en Automatique. All rights reserved.\n"^
"This software is distributed under the terms of the\n"^
"GNU Library General Public License version 2.\n"^
"(see file LICENSE in the distribution)"