¿Qué habría que hacer con el cuerpo de Lenin?