Elements of noncommutative geometry