Démonstration de exp⁡(x)≠0