<!-- debut du script
var posBan3=0, ban3, delaiBan3, msgBan3;
function banniere3(delai) {
  delaiBan3 = delai;
  if (posBan3 >= msgBan3.length)
    posBan3 = 0;
  else if (posBan3 == 0) {
    msgBan3 = '        ' + msgBan3;
    while (msgBan3.length < 128)
      msgBan3 += '        ' + msgBan3;
  }
  window.status = msgBan3.substring(posBan3,posBan3+msgBan3.length);
  posBan3++;
  ban3 = setTimeout("banniere3(delaiBan3)",delai);
}
// fin du script -->