Les nombres complexes

https://ruedesfacs.hypotheses.org/1174