The problem of classifying the Anosov systems is of great interest in the theory of dynamical systems. The most important known examples are of algebraic nature and it has been conjectured on 1960s by S. Smale (SMALE, 1967) that these are in fact the only examples. This conjecture has been proved false for Anosov flows, where counter examples had been constructed for odd dimensional manifolds ((HANDEL; THURSTON, 1980) and (BARTHELMé et al., )). This non algebraic examples however are very pathological, and with some stronger hypothesis, for example, smoothness of the invariant bundles, the conjecture remains open. In 1992, it was published a paper (BENOIST; FOULON; LABOURIE, 1992) which proved that contact Anosov flows with smooth invariant...