Allegri, il "Corto muso" entra nella Treccani