Same as Fig. 3 for 6 M_⊙ models (but with different ordinate). (Left) Standard case. The low-metallicity model is computed up to the end of second dredge-up only, while the Z_⊙ one is carried out until the AGB tip. (Right) Models including thermohaline mixing only (black solid lines), and including both thermohaline and rotation-induced mixings (red dashed lines; V_ZAMS/V_crit = 0.45). These rotating models are computed until the AGB tip.