//------------------------------------------------------//
// Script qui active la galerie défilante des articles  //
//------------------------------------------------------//
var intervalID;

function ScrollLeft()
{
  intervalID = setInterval("document.getElementById('theImages').scrollLeft -= 10", 30);
}

function ScrollRight()
{
  intervalID = setInterval("document.getElementById('theImages').scrollLeft += 10", 30);
} 

function stopScroll()
{
  clearInterval(intervalID);
}

function initGalerie() {
  document.getElementById('theImages').scrollLeft = 0;
}

function setposGalerie(posx)
{
  document.getElementById('theImages').scrollLeft += posx;
}