implementati i primi 2 punti del capitolo 3.2.1, set pc e se