¿Cómo se llamaba el escritor y poeta cubano disidente puesto en libertad tras la mediación de Mitterrand?