Quel est le tiers du double de 6?