Eurex launches options on French government bond futures