Manuel PHP Précédent Suivant readline_read_history() lit une ligne de l 'historique. Précédent Sommaire Suivant Niveau supérieur