En quoi le porte-avions Charles de Gaulle est-il un navire « écolo »?