// Procedures globales du projet
function JchangeStyle(element, nouveauStyle)
{
document.getElementById(element).setAttribute("class", nouveauStyle);
}
function imprimer(zone)
{
var PSR_f1 = null;
var PSR_content=document.getElementById(zone).parentNode.innerHTML;
var PSR_title=document.getElementsByTagName('title')[0].innerHTML;
if (PSR_f1) {if(!PSR_f1.closed) PSR_f1.close();}
PSR_f1 = window.open ('',"PSR_f1", "height=500,width=600,menubar=yes,scrollbars=yes,resizable=yes,,left=10,top=10"); ;
PSR_f1.document.open();
PSR_f1.document.write("" + PSR_title + "