DBServer::GetOsType PHP Méthode