function over(nb) {
document.getElementById(nb).style.backgroundColor="rgb(243,211,159)";
document.getElementById(nb).style.border="1px solid #990000";
};
function out(nb2) {
document.getElementById(nb2).style.backgroundColor="#990000";
document.getElementById(nb2).style.border="1px solid #990000";
};