
<!--

function jumpFosse()
{
   document.location.href = "/plongeur/fosse.php?Pg=3";
}

function jumpPiscine()
{
   document.location.href = "/club/contacts.php?Pg=2";
}

//-->