Eliom_content: R.filter_attrib