Orario docenti: cosa fa il prof se la classe è vuota?