módulo_extensión

Una extensión de módulo.