What happened to Charles de Gaulle?