Enrico Castelnuovo e i tre nomi del gatto