Source: https://theses.hal.science/tel-00449502/preview/these.pdf