GNU/Linux per la didattica dell'informatica: l'esempio dell'ITIS "Planck" (TV)