Source: https://homepages.laas.fr/arzelier/polycop/n6k1/pc3bis.pdf