$nuova = preg_replace("§[\t ]+§", '|', $vecchia);