Come da titolo,

conoscete un software per "filmare" quel che sta succedendo sul desktop, e salvare l'output in formato avi, mpeg, ogg o altro?