Source: https://pageperso.lis-lab.fr/~kevin.perrot/documents/2014/systeme/Cours03_14.pdf