Suppression du exit()
Suppression d'un /*@ pure @*/