Salut,
J'ai une préoccupation. Sur mon site j'ai placé une barre de recherche qui fonctionne à merveille. Mais j'aimerai pouvoir différencié le mot recherché des autres avec la balise '"mark".
J'ai besoin de votre aide.

Bonjour,

Ça tombe bien, PHP a une fonction quasiment faite pour cela : preg_replace()
https://php.net/preg_replace

Voilà un exemple de comment je ferrai (à tester) :

preg_replace("`\w*?".preg_quote($motclef)."\w*`i", "<mark>$0</mark>", $texte_original)

Oh! Parfait, ça marche à 100%.
Merci de tout cœur.