Source: http://homepages.laas.fr/arzelier/polycop/n6k1/pc4bis.pdf