ISIN en PHP

Salut, je voudrais savoir comment raliser un ISIN en php:

En fait j'ai un fichier texte avec dedans par exmple:
> Menu1: steak frite
> Menu2: salade avec frite
> Menu3: amburguer saucisse
> Menu...:

à chaques lignes, le menu se retrouve dans ma variable $menu,
et je voudrais faire:
if ($_GET['shearch'] ISIN $menu) { echo $menu.'<br>'; }

Donc si kelkun cherche Frite, il aura:
Menu1: steak frite
Menu2: salade avec frite


Comment puis-je faire ?

Salut,
Qu'es ce que tu entends par ISIN ? (parce que pour moi Isin c'est une ville - -")

For every choice, a consequence (Fable)

isin c'est en mIRC mé pas en php

Steve.