var re = 1;

function show_recherche()
{
 if (re == 0)
     {
	 document.getElementById("recherche").style.display="";
	 re = 1;
     }
 else
     {
	 document.getElementById("recherche").style.display="none";
	 re = 0;
     }
}

function change_code(form)
{
    if (form.value == 'tous')
	window.location.href='codes.html';
    else
	window.location.href= form.value + '.html';
    
}