function init1()
{
}


function dessus(e)
{
e.src="images/puce_plume1.gif";
}
function sorti(e)
{
e.scr="images/puce_plume.gif";
}