Source: https://theses.hal.science/tel-00009362/file/tel-00009362.pdf