function push_image(root_rep, id_img, nom_img)
{
    document.getElementById(id_img).src = root_rep+"/images/"+nom_img+"";
}
function release_image(root_rep, id_img, nom_img)
{
    document.getElementById(id_img).src = root_rep+"/images/"+nom_img+"";
}