Fredholm determinants, Anosov maps and Ruelle resonances