function RollOverMenu(sNom) {
  document.getElementById(sNom).src="/images/bt_" + sNom + "_on.jpg";
}

function RollOutMenu(sNom) {
  document.getElementById(sNom).src="/images/bt_" + sNom + ".jpg";
}