http://www.theses.fr/2006INPL032N/

used by 1: