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