Administration : lancement de la liste php-internals