1. Caractérisation : n = a² + b² ssi.... 2. Primalité dans ℤ[i]. 3. Critère sur les diviseurs premiers. 4. Exemples et algorithme
-1 est un carré mod p ssi p ≡ 1 [4]. Factorisation unique dans ℤ[i]