Existe t il une fonction php permettant de rechercher une chaine de caratere dans un fichier