et aussi, je trouve ton else étrange :
else $choix = "Choix non référencé";
tu voulais pas plutôt écrire
else $_SESSION['choix'] = "Choix non référencé";?




Parce que si jamais tu passes dans ton else, c'est normal que
echo $_SESSION['choix']; ne fonctionne pas




PS : je n'ai plus fait de php depuis quelques temps, donc je ne garantis rien