$user_agent = $_SERVER['HTTP_USER_AGENT'];
page suivante