Un espace vectoriel normé est dit lisse si, pour tout et tout , la fonction réelle d'une variable réelle est dérivable en 0.