// include des fonctions javascript principales diverses

function change_button() {
}

function reset_button() {
}