Des commandos Marine ont été parachutés par un Atlantique 2 sur le porte-avions Charles de Gaulle