dfのヘッダーを維持しながらgrepする方法ないですかね