function on(img,src)
{
document.images[img].src=src;
}
function off(img,src)
{
document.images[img].src=src;
}
function presentation()
{
window.location.href="presentation.htm";
}
function cours()
{
window.location.href="cours.htm";
}
function stages()
{
window.location.href="stages.htm";
}
function ventes()
{
window.location.href="ventes.htm";
}
function portes()
{
window.location.href="portes.htm";
}
function exposition()
{
window.location.href="exposition.htm";
}
function contact()
{
window.location.href="contact.htm";
}
function actualites()
{
window.location.href="actualites.htm";
}