<!-- Script Javascript 1.2 -->

<!-- Variables pour les effets de roll-over

        var menus = "./img/les_menus_";
	var vins = "./img/les_vins_";
	var cadre = "./img/le_cadre_";
	var localisation = "./img/localisation_";
	var atable = "./img/a_table_";
	var contact = "./img/contact_";
        var mail ="./contact/mail_";
        var stismier="./localisation/grenoble/stismier_";


        var menus2 = "../img/les_menus_";
	var vins2 = "../img/les_vins_";
	var cadre2 = "../img/le_cadre_";
	var localisation2 = "../img/localisation_";
	var atable2 = "../img/a_table_";
	var contact2 = "../img/contact_";
        var mail2 ="../contact/mail_";
        var stismier2="../localisation/grenoble/stismier_";
//        -->

<!-- changeImage:
// remplace une image var une autre

function changeImage(txt,i,j,k)
                {
                        if (k==0)
                                document.images[i].src = txt + j + ".jpg";
                        else if (k==1)
                                document.images[i].src = txt + j + ".gif";
                }
//  Fin du script changeImage -->