Manuel de Pedrolo, escritor.