il faut aussi montrer que la fonction est contractante... (c'est vrai pour x>=0)