Source: https://w3.cran.univ-lorraine.fr/perso/hugues.garnier/Enseignement/TdS/C-TdS-DSF et TFtc.pdf