Source: https://members.loria.fr/lnussbaum/files/stage_guthmuller.pdf