x^3-x=y <=> x²(x-1)=y <=> x(x+1)(x-1)=y
si y<0 alors (x<0 et x²-1>0) <=> x<-1
ou (x>0 et x²-1<0) <=> 0<x<1 => x€]-inf,-1[U]0,1[
si y=0 alors x=1 ou x=-1 ou x=0
si y>0 alors (x>0 et x²-1>0) <=> x>1
ou (x<0 et x²-1<0) <=> -1<x<0 => x€]-1,0[U]1,+inf[
ainsi quelque soit y appartenant à IR on peut trouver x de IR tel que y=x^3-x