Dividimos la implementación del decorador en un paquete llamado PaqueteDecorador.bpl (código a continuación)