var texteover="#0033cc";
var intermenu="#000066";
var gris1="#AAAAAA";
var gris2 ="#666666";
var gris3 ="#333333";
var couleur3="#000066";