Source: https://webusers.imj-prg.fr/~pierre.colmez/premiers.pdf