Ricordo di Tullio De Mauro (1932-2017)