Source: https://homepages.laas.fr/huguet/drupal/sites/homepages.laas.fr.huguet/files/u78/2019-2020-cours_Meta_1.pdf