function flecheInv(id, couleur, sens)
{
	var d = document.getElementById('image' + id);
	d.src = '/images/fleche_' + couleur + '_' + (sens ? 'bas' : 'haut') + '.png';
	d = document.getElementById('case' + id);
	d.style.fontStyle = (sens ? 'normal' : 'italic');
}