if (!empty($nb_booked)) {
echo "Vous avez déjà réservé ce vol, vous allez être redirigé vers la liste de vos réservations dans 2 secondes. <br>";
redirect("index.php?page=reservations", 2);
if (!empty($nb_booked)) {
echo "Vous avez déjà réservé ce vol, vous allez être redirigé vers la liste de vos réservations dans 2 secondes. <br>";
redirect("index.php?page=reservations", 2);