Programma che salva delle abbreviazioni e poi le espande mentre si scrive nelle varie applicazioni.