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

function ScrollLeft()
{
  // on enleve 10px au scrollLeft de la galerie toutes les 30 millisecondes
  intervalID = setInterval("document.getElementById('theImages').scrollLeft -= 10", 30);
}

function ScrollRight()
{
  // on ajoute 10px au scrollLeft de la galerie toutes les 30 millisecondes
  intervalID = setInterval("document.getElementById('theImages').scrollLeft += 10", 30);
} 

function stopScroll()
{
  clearInterval(intervalID);
}

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