The theory ... noncommutative geometry ... rests on two essential points: