// JavaScript pour la musique de Jean


function stop() {
document.getElementById("sound").src = "";
}


function play() {
document.getElementById("sound").src = "musique/Betty.mp3";
}