‘El pintor de batallas’, adaptación al teatro de la novela de Pérez-Reverte