• https://theses.hal.science/tel-00009036
• https://theses.hal.science/tel-00009036