Nombre dérivé d'une fonction en un réel