Définition de module d'un nombre complexe, de partie réelle et imaginaire.
Logique, nombres complexes et inégalité triangulaire ...