Interval_finite_element