// JavaScript Document
function couleurBordure(id, color) 
{
	document.getElementById(id).style.borderColor = color;
}