gestion du CTRL-C