Analyticity breakdown, Nash-Moser method, quasi-periodic  
solutions, breakdown of tori