delete ---> vassaux isabelle
input number: