Porta alcuni funzioni utili dalla mia configurazione d'Emacs vecchio.