Eurex first to launch equity options on Electricité de France