function affiche_pictos(picto)
{
	document.getElementById('picto_'+picto).style.backgroundPosition = "center 0px";
}

function cache_pictos(picto)
{
	document.getElementById('picto_'+picto).style.backgroundPosition = "center -77px";
}