@Bernard Dugué ne vous donnez donc pas tant de peine :
Puisque cosπ = –1 et sinπ = 0, cette formule est le cas particulier x = π de la formule d’euler en analyse complexe (pour tout nombre réel x, eix = cosx + i sinx).