Source: https://theses.hal.science/tel-02409335/document.pdf