Un primo gaussiano è un elemento irriducibile di Z[i].