Geometria não-comutativa e o modelo de Connes-Lott