Un terminal de commande en PHP.