NumericSucc on eval

Ajout de numericsucc dans eval