Source: https://shs.hal.science/halshs-00087303/file/INFINITIF_ET_GERONDIF.pdf