Pour établir la dérivabilité de sur , il faut appliquer la version locale du théorème de dérivation.