La biblioteca del Cervantes se llama "Juan Gelman"