Source: https://pages.lip6.fr/Jean-Francois.Perrot/inalco/Automates/linfini-en-mathematiques-h01012.pdf