Diccionario Español de Sinónimos y Antonimos ‌ De Robles Sainz, Federico Carlos