La France et la politique musulmane — Charles de Gaulle, Diomède Catroux, Charles Mast