=1) header('Location: options.php?erreur=1'); else { $mail=htmlspecialchars($_POST['nouveau_mail']); mysql_query("UPDATE `user` SET mail='".$mail."' WHERE ID='".$id."'"); if (isset($okmdp)) header('Location: options.php?ok=3'); else header('Location: options.php?ok=1'); exit; } } else { header('Location: options.php?erreur=4'); exit; } } mysql_close(); header('Location: options.php'); ?>