théorème de division des fonctions différentiables