Source: https://webusers.imj-prg.fr/~mathieu.mansuy/pdf/MM0804-cours2.pdf