Ton erreur est une "notice", c'est le niveau le plus bas d'"erreur", c'est uniquement message à caractère informatif. En général, on les vire même en phase de développement (sauf à vouloir faire du code TRES propre, ce qui n'est pas franchement la raison pour laquelle on fait du PHP ). Là, pour éviter la notification, je pense qu'il faut un
if (isset($_SESSION["choix"]))
{
unset($_SESSION['choix']);
}

Sinon, tu peux aussi désactiver les "notices", ça se fait dans le fichier php.ini (je ne sais plus où c'est dans wampp, par contre, mais ça se trouve ), tu ne vas pas en mourir, surtout à ton niveau (si je puis me permettre).