Source: http://homepages.laas.fr/kader/cours_sdf1.pdf