soustraction avec retenue