heu, en php, ca tiens en 3 lignes

de mémoire, si je ne me trompe pas :

$content = file_get_contents('tonfichier.txt');
$content = preg_replace('/0x0([0-9abcdef])/isU', '0x$1$1', $content);
file_put_contents('tonfichier.txt', $content);