Charles-de-Gaulle, France Libre : des porte-avions français... mais un peu américains quand même