function valoriseArticle(article_id) {
	
	document.getElementById('article_' + article_id).style.background = 'url(' + IMG + 'menu_gauche_select.gif) center right no-repeat';
	
}

function devaloriseArticle(article_id) {
	
	document.getElementById('article_' + article_id).style.background = 'none';
	
}