Source: http://www.lsv.fr/~bouyer/files/cv_patricia.pdf