Entier abandonne avec une deduction, et il suffira parfois abandonner creer