<!--// script de gestion du menu déroulant pour les documents
function menu_deroulant_documents()
{x=document.formulaire_deroulant_documents.ledocument.selectedIndex
y=document.formulaire_deroulant_documents.ledocument.options[x].value
location.href=y}
//-->