=1) {echo "Cette adresse mail est déja utilisé"; } else { $mail=htmlspecialchars($_POST['nouveau_mail']); mysql_query("UPDATE `user` SET mail='".$mail."' WHERE ID='".$id."'"); } } else { echo "L'adresse " . $_POST['nouveau_mail'] . " n'est pas valide";} } mysql_close(); @header("Location:options.php"); ?>