La formule permettant de prouver la dérivabilité d´une fonction f en un point x0 est bien :
lim (f(x)-f(x0))/(x-x0)x->x0
?
Que cette limite soit finie et que celle à droite soit identique à celle à gauche, oui.
Merci bien