set_terminate : gestionnaire avec des arguments

Version imprimable