Colecciones de refranes españoles y su uso lexicográfico en autores extranjeros de los siglos XVII y XVIII