Prouver qu'une fonction est dérivable en un point