implémentation exit()