document.write("<script src=js/prototype.js></script>");
document.write("<script src=js/calendarview.js></script>");

// pour moteur de rechercher
function format_date(ma_date)
{
  if (ma_date == 'Show Calendar')
  {
    document.frm_moteur_recherche.DEB.value = "";
  }
}