Grâce à @AlexYu, la réponse consiste simplement à appliquer l'astuce "éteindre et rallumer". La fermeture et la réouverture de SSMS sont nécessaires pour que la modification de ce paramètre prenne effet.
Incidemment, la déconnexion et la reconnexion au serveur SQL ne fonctionnent pas dans ce cas. J'ai fait quelques tests rudimentaires et il semble que cela s'applique également à d'autres options ici, par exemple sous Query Results>SQL Server>Results to Grid .
J'utilisais Microsoft SQL Server Management Studio v17.9.1, numéro de build 14.0.17289.0.
