Who succeeded charles de gaulle as president of france?