Source: http://www-ext.impmc.upmc.fr/~ferlat/Enseignement/LP358/tous_les_tds_2017.pdf