let software_copyright =
  "Copyright 2004 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 General Public License version2.\n"^
    "(see file LICENSE in the distribution)"