fonction définie et dérivable