'); // On supprime la variable de recherche si elle existe. unset($_SESSION["search"]); ?>