[PHP-JS] $HTTP_USER_AGENT avec ou sans $_SERVER

Version imprimable