(unknown)
void exit
exit() termine l'analyse d'un script en cours d'exécution. Elle ne renvoie aucune valeur.