$s = pipeline('definir_session', 
	$GLOBALS['visiteur_session']
		? serialize($GLOBALS['visiteur_session'])
		. '_' . @$_COOKIE['spip_session']
	: ''
);