KAM tori, standard map, semistandard map