Artin–Tate lemma
[fr] Lemme d'Artin-Tate