pool
pooltype [pool_file]
pooltype
Si aucun argument n'est passé sur la ligne de commande, POOLtype demandera le nom du fichier. L'extension par défaut est poo.
POOLtype