Pour renommer un serveur, il faut aller dans le gestionnaire de serveur (Server Manager) :
Puis dans Local Server et sur le nom du serveur (ici : « MonServeur »).
Cela va ouvrir la page System Properties. On clic sur Change.
On peut alors changer le nom du serveur (ici « MonServeur » en « Server_Prod »).
On enregistre, et on redémarre le serveur.
Au redémarrage, le nom du serveur a bien été modifier.