Mais au fait, comment on choisit le nom des porte-avions ?