Chevalley theorem, finite groups generated by reflections, finite Coxeter groups, Whitney functions of class ${\cal C}^r$, 
 formally holomorphic Whitney fields, Whitney extension theorem.