<?php
  if(isset($_GET["val"]) and strlen($_GET["val"])>2){
    $f = file("petit.txt");	
    foreach($f as $ligne){
      $i=0;
      while($i<strlen($_GET["val"]) and $ligne[$i]===$_GET["val"][$i]) $i++;
      if($i===strlen($_GET["val"]))
        echo "<li>".$ligne."</li>";
    } 
  }
?>