Derby Inter-Milan, Fonseca si gioca la panchina: i nomi dei sostituti