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