10 ){
header('Location: index.php?error=ex3');
}
$tirage = [];
# COMPLETER LE TABLEAU $tirage avec 20 noms tirés au sort dans les valeurs de $_GET
$resultatTirage = []; #A MODIFIER
// Ce tableau doit contenir en CLES les participants du tirage,
// et en VALEURS le nombre de fois où ils ont été tirés au sort
// (la fonction permettant de faire cela est mentionnées dans le cours)
#Trie le tableau $resultatTirage par ordre croissant de valeurs
asort($resultatTirage);
?>
Résultats du tirage au sort :
Le grand gagnant est .............. !