What are continuously differentiable functions on compact sets?

Nous étudions les fonctions qui admettent une différentielle, au sens de Fréchet, sur un ensemble compact. On s'intéresse notamment à diverses propriétés topologiques de l'espace regroupant ces fonctions, muni d'une norme naturelle. Entre autres, la complétude de ce dernier est caractérisée et la densité des jets de Whitney est établie.