1 - id_user() renvoie une chaîne user agent en retirant tout caractère non alphabétique
function id_user(){
$user_agent=preg_replace('#[^a-zA-Z]#','',$_SERVER["HTTP_USER_AGENT"]);
return $user_agent;
}
function id_user(){
$user_agent=preg_replace('#[^a-zA-Z]#','',$_SERVER["HTTP_USER_AGENT"]);
return $user_agent;
}