Le nom du nouveau porte-avions français dévoilé mercredi : comment est-il choisi ?