Source: https://www.lacim.uqam.ca/~brlek/Recherche/ListePublis/Articles/A15-AnnTEL60.pdf