en fait, il faut faire Ctrl+W (clavier pris comme qwerty) idem sur le site web. Et j'avais pas vu au départ qu'il y avait un bouton Undo...