server {
	listen 80;
	server_name
	 sympa.heureux-cyclage.org
	 sympa.cyclocoop.heureux-cyclage.org
	 sympa.cyclocoop.org;
	
	return 301 https://$host$request_uri;
 }