Selon le Sénat, il manque un 1 milliard de crédits de paiement pour débuter la réalisation du futur porte-avions