0) { $search = $_GET['s']; } } ?>
Rechercher Cet outil permet de rechercher des mots un peu comme dans Linguee, sauf qu’il utilise la base de données des traductions que j’ai faites à l’ESTRI.
Mot entier
Respecter la casse
Mot de passe
Mot de passe OK Pas de problème.
Veuillez prouver que vous appartenez bien à l’ordre des princes (et princesses) de la traduction.'); die (''); } function replEOF ($s) { return str_replace ('\n', "
", $s); } if ($search) { $file = "./seg.txt"; $files = @filesize($file); $handle = @fopen ($file, "r"); @$content = explode ("\nSEGMENTS\n", @fread ($handle, $files)); fclose ($handle); $filelist = explode ("\n", $content[0]); $segments = explode ("\n", $content[1]); unset ($content); $n = 0; echo ("\n"); echo ("\n"); foreach ($segments as $segment) { if (isset ($_GET['b']) && $_GET['b']=="on") {$searchTerm = "/\\b($search)\\b/";} else {$searchTerm = "/($search)/";} if (isset ($_GET['i']) && $_GET['i']=="on") {$searchTerm.="U";} else {$searchTerm.="Ui";} if (preg_match ($searchTerm, $segment)) { if (preg_match ("/^ORIGINAL:<<<(.*)>>>CORRECT:<<<(.*)>>>ALTERNATIVES:<<<(.*)>>>VOC:<<<(.*)>>>EXTRA:<<<(.*)>>>UNSURE:<<<(.*)>>>ORIGIN:<<<(\d+)>>>$/U", $segment, $groups)) { $nclass = $n%2; $original = preg_replace ("$searchTerm", "$1", $groups[1]); $correct = preg_replace ("$searchTerm", "$1", $groups[2]); $unsure = preg_replace ("$searchTerm", "$1", $groups[6]); $alternatives = preg_replace ("$searchTerm", "$1", $groups[3]); $voc = $groups[4]; $extra = $groups[5]; $origin = $filelist[(int)$groups[7]]; $origin = "$origin"; $translation = Array(); $info = Array(); array_push ($info, $origin); if ($voc) $voc = "$voc"; if ($extra) $extra = "$extra"; if ($voc) array_push ($info, $voc); if ($extra) array_push ($info, $extra); $info = join ("
", $info); if ($correct) $correct = "$correct"; if ($unsure) $unsure = "$unsure"; if ($alternatives) $alternatives = "$alternatives"; if ($correct) array_push ($translation, $correct); if ($alternatives) array_push ($translation, $alternatives); if ($unsure) array_push ($translation, $unsure); $translation = join ("
", $translation); $line = ""; $line = replEOF ($line); echo ($line); $n++; } } } echo ("
Source Cible Autres
$original $translation $info
\n"); } ?>