function sommaire_id_page($element, $page) { return $element; }