Le n dépend de (a,b,c,d) ; J'aurais pris la fonction g(a,b,c,d) = a+b+c+d , et j'aurais démontré que g(f(a,b,c,d))<g(a,b,c,d) sauf quand (a,b,c,d)=(0,0,0,0) Et à partir de là, on conclut qu'il suffit de prendre n\ge a+b+c+d pour avoir f^n(a,b,c,d)=(0,0,0,0...