Manuel PHP Précédent Suivant readline_clear_history() efface tout l 'historique. Précédent Sommaire Suivant Niveau supérieur