(PHP 4, PHP 5)
readline_read_history() lit une ligne de l'historique depuis le fichier filename.
filename