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