function portail_ouvre(id)
{
var bouton   = document.getElementById(id);
     bouton.src = "../images/portail_souvre.gif"; 
}
function portail_ferme(id)
{
var bouton   = document.getElementById(id);
     bouton.src = "../images/portail_seferme.gif";
}