我是python的新手。我想制作使ssl客户端连接到ssl服务器的代码。我在python文档中找到了这个：
import socket, ssl
context = ssl.SSLContext(ssl.PROTOCOL_TLSv1)
context.verify_mode = ssl.CERT_REQUIRED
context.check_hostname = True
context.load_default_certs()
s = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
ssl_sock = context.wrap_socket(s, server_hostname='www.verisign.com')
ssl_sock.connect(('www.verisign.com', 443))
但是，有import ssl, socket。我发现要导入，导入的.py代码必须放在代码的同一目录中。
我的问题：从哪里下载ssl，socket模块？在哪里放置它们？ 一般来说，如何导入现成的python模块，如ssl和socket？