abort(), c'est légèrement brutal
atexit() + exit() serait plus doux.