¿Con qué sinónimo se define también a la pleuritis?