Les chiffres du "France Libre", le futur porte-avions français