Source: http://www.lsv.fr/~dowek/Creteil/vieville.pdf