En mathématiques, une structure différentielle à n dimensions sur un ensemble M transforme M en une variété différentielle à n dimensions, qui est une variété topologique avec une structure supplémentaire qui permet un calcul différentiel sur la variété. Wikipedia