function Details(a,j) {
  var d = document.getElementById(j);
  var b = document.getElementById(a);
  if (d.style.display == "none") {
   d.style.display = "";
   b.src = "Details/moins.gif";
  }
  else {
   d.style.display = "none";
   b.src = "Details/plus.gif";
  }
}
function init(j) {
  var d = document.getElementById(j);
  if (d.style.display == "none") {
   d.style.display = "block";
  }
  else {
   d.style.display = "none";
  }
}