j'aimerais avoir le nom du serveur par défaut pour se connecter a SQL server sous windows 10.