...
# Redirection des requêtes non https pour les domaines https
$SERVER["socket"] == ":80" {
	$HTTP["host"] == "ssl.petitchevalroux.net" {
		url.redirect = ( ".*" => "https://ssl.petitchevalroux.net$0" )
	}
}