Diccionario fraseológico documentado del español actual Manuel Seco, Olimpia de Andrés y Gabino Ramos