Source: https://www.emse.fr/~boissier/enseignement/aco/pdf/UP.Global.4pp.pdf