Inter-Milan e Mancini-Mihajlovic: precedenti e curiosità