Source: https://lipn.univ-paris13.fr/~dubacq/pdf/m1101/sys.pdf