quantum spin systems, large deviations, Ruelle Lanford functions,