Exercice : Forme trigonométrique et exponentielle imaginaire

★ Standard

On considère le nombre complexe $z$ défini par sa forme exponentielle :

$$z = 8 e^{i \frac{\pi}{3}}$$

Sa forme algébrique s'écrit sous la forme $z = a + i b$, où $a$ et $b$ sont des nombres réels.

Déterminer la valeur de la partie réelle $a$.