Antonio Fais: antesignano della ricerca matematica in Sardegna