'; } if (!isset($GLOBALS['fin_intertitre'])) { $GLOBALS['fin_intertitre'] = ''; }