die Alias de la fonction exit &reftitle.description; Ce constructeur de langage est équivalent à exit.