Combien coute un porte-avion, Monsieur Asselineau ?