function saut_de_page(part, divId)
{
	var divReplacement = document.getElementById(divId + part);
	var theDiv = document.getElementById(divId);
	var pages = document.getElementsByName(divId + 'Pagination');
	
	for (var i = 0; i < pages.length; i++)
	{
		pages[i].style.fontWeight = 'normal';
	}
	
	pages[part].style.fontWeight = 'bold';
	
	theDiv.innerHTML = divReplacement.innerHTML;
}