$href = extraire_attribut($ref, 'href'); + $href = str_replace('#', '@\\#', $href);