Módulo_extensão

Uma extensão de módulo.